Timed automata with observers under energy constraints
From MaRDI portal
Publication:2985866
DOI10.1145/1755952.1755963zbMath1361.68135OpenAlexW2116930279MaRDI QIDQ2985866
Nicolas Markey, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen
Publication date: 10 May 2017
Published in: Proceedings of the 13th ACM international conference on Hybrid systems: computation and control (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/1755952.1755963
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items (13)
Model Checking Real-Time Systems ⋮ Reachability games with relaxed energy constraints ⋮ Logics for Weighted Timed Pushdown Automata ⋮ Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems ⋮ Energy Büchi problems ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Optimal and robust controller synthesis using energy timed automata with uncertainty ⋮ Optimal and robust controller synthesis. Using energy timed automata with uncertainty ⋮ Unnamed Item ⋮ Energy Games in Multiweighted Automata ⋮ Optimal Bounds for Multiweighted and Parametrised Energy Games ⋮ Zone-based verification of timed automata: extrapolations, simulations and what next?
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
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
This page was built for publication: Timed automata with observers under energy constraints
