Timed automata with observers under energy constraints

DOI10.1145/1755952.1755963zbMath1361.68135MaRDI 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

zbMATH Keywords

energy constraints; weighted timed automata

Mathematics Subject Classification ID

68Q45: Formal languages and automata

68Q60: Specification and verification (program logics, model checking, etc.)

Related Items

Unnamed Item, Unnamed Item, Unnamed Item, Energy Büchi problems, Optimal and robust controller synthesis using energy timed automata with uncertainty, Optimal and robust controller synthesis. Using energy timed automata with uncertainty, Zone-based verification of timed automata: extrapolations, simulations and what next?, Reachability games with relaxed energy constraints, Optimal Bounds for Multiweighted and Parametrised Energy Games, Logics for Weighted Timed Pushdown Automata, Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems, Energy Games in Multiweighted Automata, Model Checking Real-Time Systems

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