241 search results - page 3 / 49 » Tool-support for the analysis of hybrid systems and models |
HYBRID
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
CAISE
2004
Springer
14 years 29 days ago
2004
Springer
The foundations of support for any business process lie in understanding the needs of people, the stakeholders in business processes and support systems. Stakeholder analysis has b...
HYBRID
2003
Springer
14 years 23 days ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
ATVA
2006
Springer
13 years 11 months ago
2006
Springer
In many safety-critical applications of embedded systems, the system dynamics exhibits hybrid behaviors. To enable automatic analysis of these embedded systems, many analysis tools...
HYBRID
1994
Springer
13 years 11 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...