Control Strategies for Off-Line Testing of Timed Systems

DOI10.1007/978-3-319-94111-0_10MaRDI QIDQ5883580zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cites work

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

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)