320 search results - page 18 / 64 » Constructing Invariants for Hybrid Systems |
162
click to vote
PLPV
2010
ACM
16 years 2 months ago
2010
ACM
Reasoning about object-oriented programs is difficult since such programs usually involve aliasing, and it is not easy to identify the ways objects can relate to each other and t...
155
click to vote
HYBRID
2004
Springer
15 years 11 months ago
2004
Springer
We propose a model for Stochastic Hybrid Systems (SHSs) where transitions between discrete modes are triggered by stochastic events much like transitions between states of a contin...
193
click to vote
VR
2008
IEEE
15 years 5 months ago
2008
IEEE
We describe a novel markerless camera tracking approach and user interaction methodology for augmented reality (AR) on unprepared tabletop environments. We propose a real-time sys...
149
click to vote
HYBRID
1999
Springer
15 years 10 months ago
1999
Springer
We discuss a procedure for synthesizing controllers for safety specifications for hybrid systems. The procedure depends on the construction of the set of states of a continuous dy...
150
click to vote
JLP
2006
15 years 5 months ago
2006
In this paper, we develop a theory of modular design and refinement of hierarchical hybrid systems. In particular, we present compositional trace-based semantics for the language ...