Modular discrete time approximations of distributed hybrid automata
DOI10.1016/J.TCS.2011.12.050zbMATH Open1242.93061OpenAlexW1994992715MaRDI QIDQ418807FDOQ418807
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
Formal languages and automata (68Q45) Control/observation systems governed by functional relations other than differential equations (such as hybrid and switching systems) (93C30) Discrete event control/observation systems (93C65) Automated systems (robots, etc.) in control theory (93C85)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- What's decidable about hybrid automata?
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Marked directed graphs
- Fourier-Motzkin elimination and its dual
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Unfoldings: A partial-order approach to model checking.
- Discrete-time control for rectangular hybrid automata
- Hybrid automata with finite bisimulations
- Succinct discrete time approximations of distributed hybrid automata
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
Cited In (2)
This page was built for publication: Modular discrete time approximations of distributed hybrid automata
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q418807)
