Abstract
We consider a class of hybrid dynamic systems composed of interacting discrete and continuous subsystems. Of particular interest is the reduction of the coupled system to a single finite state automaton. Such a reduction has been proposed and analyzed in the literature on computer verification for certain special hybrid systems called timed automata. we use timed automata with two clocks (integrators) as a tool to explore extensions and generalizations of the reduction constructions. Several interesting new classes of reductions are presented.
| Original language | English (US) |
|---|---|
| Pages (from-to) | 4215-4220 |
| Number of pages | 6 |
| Journal | Proceedings of the IEEE Conference on Decision and Control |
| Volume | 4 |
| State | Published - 1994 |
| Externally published | Yes |
| Event | Proceedings of the 33rd IEEE Conference on Decision and Control. Part 1 (of 4) - Lake Buena Vista, FL, USA Duration: Dec 14 1994 → Dec 16 1994 |
All Science Journal Classification (ASJC) codes
- Control and Systems Engineering
- Modeling and Simulation
- Control and Optimization