Decidable hybrid systems

✍ Scribed by A. Puri; P. Varaiya

• Book ID: 103929499
• Publisher: Elsevier Science
• Year: 1996
• Tongue: English
• Weight: 949 KB
• Volume: 23
• Category: Article
• ISSN: 0895-7177
• DOI: 10.1016/0895-7177(96)00072-6

✦ Synopsis

Hybrid systems combine differential equations with discrete event systems. We consider the reachability problem: is there a trajectory from an initial state to a target state in the hybrid system. We show that for hybrid systems with decoupled differential inclusions, the reachability problem can be decided in a finite number of steps. Keywords-Hybrid systems, Decidable systems, Real-time systems DEFINITION 2.6. If A = (X, -, CX) and I3 = (Y, -, Cy) axe transition systems, we say R c X x Y is a time-symmetric bisimulation provided A and B are bisimilar and A-' and B-' are bisimilar.