320 search results - page 38 / 64 » Constructing Invariants for Hybrid Systems |
136
click to vote
ISSAC
2009
Springer
16 years 13 days ago
2009
Springer
Constructive methods for matrices of multihomogeneous resultants for unmixed systems have been studied in [7, 14, 16]. We generalize these constructions to mixed systems, whose Ne...
156
click to vote
ECOOP
2007
Springer
16 years 1 days ago
2007
Springer
Abstract. Understanding the collaborations that arise between the instances of classes in object-oriented programs is important for the analysis, optimization, or modification of ...
160
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
In this work we tackle the following problem: given a timed automaton, and a target set F of configurations, restrict its transition relation in a systematic way so that from ever...
147
click to vote
HYBRID
1997
Springer
15 years 10 months ago
1997
Springer
We de ne robust timed automata, which are timed automata that accept all trajectories \robustly": if a robust timed automaton accepts a trajectory, then it must accept neighbo...
174
click to vote
ECCV
2002
Springer
16 years 7 months ago
2002
Springer
In central catadioptric systems, lines in a scene are projected to conic curves in the image. This work studies the geometry of the central catadioptric projection of lines and its...