695 search results - page 1 / 139 » Symbolic Simulation of Hybrid Systems |
APSEC
2002
IEEE
14 years 11 min ago
2002
IEEE
Continuous action systems (CAS) is a formalism intended for modeling hybrid systems (systems that combine discrete control with continuous behavior), and proving properties about ...
HYBRID
2010
Springer
14 years 1 months ago
2010
Springer
In this paper, we present an extension of the synchronous language Quartz by new kinds of variables, actions and statements for modeling the interaction of synchronous systems wit...
HYBRID
2004
Springer
14 years 12 days ago
2004
Springer
HYBRID
2005
Springer
14 years 16 days ago
2005
Springer
EMSOFT
2008
Springer
13 years 8 months ago
2008
Springer
Aimed at verifying safety properties and improving simulation coverage for hybrid systems models of embedded control software, we propose a technique that combines numerical simul...