94 search results - page 8 / 19 » Time-Deterministic Hybrid Transition Systems |
ASWSD
2006
Springer
14 years 9 days ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...
VMCAI
2005
Springer
14 years 2 months ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
TROB
2002
13 years 8 months ago
2002
Abstract-- This work studies a class of hybrid mechanical systems that locomote by switching between constraints defining different dynamic regimes. We develop a geometric framewor...
HYBRID
2005
Springer
14 years 2 months ago
2005
Springer
We study the class of lazy linear hybrid automata with finite precision. The key features of this class are: – The observation of the continuous state and the rate changes assoc...
ITP
2010
13 years 7 months ago
2010
mentation of the Abstraction Method In Coq Eelis van der Weegen Institute for Computing and Information Sciences Raboud University Nijmegen This technical report documents our deve...