Control Strategies for Off-Line Testing of Timed Systems

DOI10.1007/978-3-319-94111-0_10OpenAlexW2964297856MaRDI QIDQ5883580FDOQ5883580

Authors: Léo Henry, Thierry Jéron, Nicolas Markey 

Publication date: 21 March 2023

Published in: Model Checking Software (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1804.11234

Recommendations

• Timed control with partial observability.
• Off-line test selection with test purposes for non-deterministic timed automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Template-based controller synthesis for timed systems
• Timed Control with Observation Based and Stuttering Invariant Strategies

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Applications of game theory (91A80) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites Work

• A theory of timed automata
• Formal Approaches to Software Testing
• CONCUR 2005 – Concurrency Theory
• Undecidable Problems About Timed Automata
• Testing timed automata
• Conformance testing for real-time systems
• Formal Approaches to Software Testing
• A game approach to determinize timed automata
• Off-line test selection with test purposes for non-deterministic timed automata
• Automata, Languages and Programming

Cited In (3)

• Off-line test selection with test purposes for non-deterministic timed automata
• Control strategies for off-line testing of timed systems
• Adaptive testing for specification coverage and refinement in CPS models

This page was built for publication: Control Strategies for Off-Line Testing of Timed Systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5883580)