Abstract | ||
---|---|---|
Embedded control systems typically comprise continuous control laws combined with discrete mode logic. These systems are modeled using a hybrid automaton formalism, which is obtained by combining the discrete transition system formalism with continuous dynamical systems. This paper develops automated analysis techniques for asserting correctness of hybrid system designs. Our approach is based on s... |
Year | DOI | Venue |
---|---|---|
2003 | 10.1109/JPROC.2002.805818 | Proceedings of the IEEE |
Keywords | Field | DocType |
Control systems,Automata,Automatic control,State-space methods,Computer science,Logic,Embedded software,System analysis and design,Performance analysis,Control system synthesis | Transition system,Formal system,Model checking,Computer science,Theoretical computer science,Formal specification,Formal methods,Hybrid system,Formal verification,Hybrid automaton | Journal |
Volume | Issue | ISSN |
91 | 1 | 0018-9219 |
Citations | PageRank | References |
26 | 1.44 | 20 |
Authors | ||
3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Ashish Tiwari | 1 | 1630 | 106.62 |
Natarajan Shankar | 2 | 3050 | 309.55 |
John Rushby | 3 | 2459 | 235.69 |