13 search results - page 1 / 3 » A Note on Abstract Interpretation Strategies for Hybrid Auto... |
HYBRID
1994
Springer
13 years 9 months ago
1994
Springer
KI
2008
Springer
13 years 5 months ago
2008
Springer
Abstract. This paper presents a method for engineering and programming multirobot systems, based on a combination of statecharts and hybrid automata, which are well-known in the fi...
ATVA
2006
Springer
13 years 9 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...
FM
1999
Springer
13 years 9 months ago
1999
Springer
Abstract. The design of controllers for hybridsystems i.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
CDC
2009
IEEE
13 years 3 months ago
2009
IEEE
Abstract-- The safety control problem for hybrid automata with imperfect mode information and continuous control is addressed. When the controller does not have access to the mode ...