Timed modal logics for real-time systems. Specification, verification and control
DOI10.1007/S10849-010-9127-4zbMATH Open1216.68158OpenAlexW1550995752MaRDI QIDQ548704FDOQ548704
François Laroussinie, Patricia Bouyer, Franck Cassez
Publication date: 30 June 2011
Published in: Journal of Logic, Language and Information (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s10849-010-9127-4
Recommendations
Formal languages and automata (68Q45) Modal logic (including the logic of norms) (03B45) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Kronos: A verification tool for real-time systems
- Uppaal in a nutshell
- A theory of timed automata
- On the expressiveness of TPTL and MTL
- Title not available (Why is that?)
- A really temporal logic
- The benefits of relaxing punctuality
- Title not available (Why is that?)
- Model-checking in dense real-time
- Symbolic model checking for real-time systems
- From timed automata to logic — and back
- On the decidability and complexity of Metric Temporal Logic over finite words
- On the synthesis of discrete controllers for timed systems
- Automata for the modal μ-calculus and related results
- A complete axiomatisation for observational congruence of finite-state behaviours
- Games for synthesis of controllers with partial observation.
- Title not available (Why is that?)
- The power of reachability testing for timed automata
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Characteristic formulae for timed autoamta
- Title not available (Why is that?)
- CONCUR 2005 – Concurrency Theory
Cited In (15)
- Title not available (Why is that?)
- Real-time logics: Complexity and expressiveness
- Verification of \(N\)-\(M\) switching control system: a case study in temporal logic model checking
- Real-time semantics of state transition for embedded control systems
- Modularity for timed and hybrid systems
- Title not available (Why is that?)
- Title not available (Why is that?)
- Is your model checker on time? On the complexity of model checking for timed modal logics
- Integrated Formal Methods
- The mu-calculus and Model Checking
- Title not available (Why is that?)
- Refinement and Consistency of Timed Modal Specifications
- A menagerie of timed automata
- Title not available (Why is that?)
- Guest editorial: Special issue on formal modeling and analysis of timed systems
Uses Software
This page was built for publication: Timed modal logics for real-time systems. Specification, verification and control
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q548704)
