Timed I/O automata

DOI10.1145/1755952.1755967zbMath1361.68143OpenAlexW2156314014MaRDI QIDQ2985870

Alexandre David, Axel Legay, Andrzej Wąsowski, Ulrik Nyman, 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.1755967

zbMATH Keywords

interfacesrefinementreal-timespecification theorytimed I/O automata

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items

New Results on Timed Specifications ⋮ Statistical Model Checking for Networks of Priced Timed Automata ⋮ Robust Specification of Real Time Components ⋮ Extending modal transition systems with structured labels ⋮ Compatibility in a multi-component environment ⋮ Robust synthesis for real-time systems ⋮ General quantitative specification theories with modal transition systems ⋮ From interface automata to hypercontracts ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Modal event-clock specifications for timed component-based design ⋮ Unnamed Item ⋮ Off-Line Test Selection with Test Purposes for Non-deterministic Timed Automata ⋮ Dynamic networks of heterogeneous timed machines ⋮ Conditions of contracts for separating responsibilities in heterogeneous systems ⋮ Heterogeneous and asynchronous networks of timed systems ⋮ Weighted modal transition systems ⋮ Compositional schedulability analysis of real-time actor-based systems ⋮ Specification Theories for Probabilistic and Real-Time Systems ⋮ Constraint Markov chains ⋮ A game approach to determinize timed automata ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ Trading Plaintext-Awareness for Simulatability to Achieve Chosen Ciphertext Security ⋮ Unnamed Item ⋮ Checking conformance for time-constrained scenario-based specifications

Uses Software

• Uppaal
• UPPAAL TIGA

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