281 search results - page 5 / 57 » Solving Parametric Algebraic Systems |
TCS
2008
15 years 10 days ago
2008
We consider a large class of sequences, called admissible sequences, which are defined by systems of (possibly nonlinear) difference equations. A procedure for recursively enumera...
103
click to vote
STACS
2001
Springer
15 years 4 months ago
2001
Springer
It is well known that finite square matrices over a Kleene algebra again form a Kleene algebra. This is also true for infinite matrices under suitable restrictions. One can use t...
104
click to vote
AAECC
1998
Springer
15 years 4 days ago
1998
Springer
We describe a new approach of the generalized Bezout identity for linear time-varying ordinary differential control systems. We also explain when and how it can be extended to line...
134
click to vote
HYBRID
2000
Springer
15 years 4 months ago
2000
Springer
Abstract. We define a new class of hybrid automata for which reachability is decidable--a proper superclass of the initialized rectangular hybrid automata--by taking parallel compo...
88
Voted
AMAST
1997
Springer
15 years 4 months ago
1997
Springer
Abstract. A general parametric analysis problem which allows the use of parameter variables in both the realtime automata and the specifications is proposed and solved. The analys...