Modular discrete time approximations of distributed hybrid automata

DOI10.1016/j.tcs.2011.12.050zbMath1242.93061OpenAlexW1994992715MaRDI QIDQ418807

P. S. Thiagarajan, Shaofa Yang

Publication date: 30 May 2012

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.12.050

zbMATH Keywords

discrete time approximationdistributed hybrid automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Automated systems (robots, etc.) in control theory (93C85) Discrete event control/observation systems (93C65) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30)

Related Items

Hybrid Automation Extended Model

Cites Work

• Unnamed Item
• Unnamed Item
• What's decidable about hybrid automata?
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Discrete-time control for rectangular hybrid automata
• Unfoldings: A partial-order approach to model checking.
• Marked directed graphs
• Fourier-Motzkin elimination and its dual
• Succinct discrete time approximations of distributed hybrid automata
• Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
• Hybrid automata with finite bisimulations
• Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
• Hybrid Systems: Computation and Control
• Hybrid Systems: Computation and Control