Control strategies for off-line testing of timed systems

DOI10.1007/S10703-022-00403-WMaRDI QIDQ6102163zbMATH OpenFDO

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

Publication date 8 May 2023

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/S10703-022-00403-W

zbMATH Keywords

conformance testingcontrollabilitygame theorytimed system

Mathematics Subject Classification ID

Computer science (68-XX)

Recommendations

• Control Strategies for Off-Line Testing of Timed Systems
• Timed control with partial observability.
• Off-line test selection with test purposes for non-deterministic timed automata
• Template-based controller synthesis for timed systems
• The Complexity of Bounded Synthesis for Timed Control with Partial Observability

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
• Control Strategies for Off-Line Testing of Timed Systems
• Formal Approaches to Software Testing
• Formal Approaches to Software Testing
• Formal Modeling and Analysis of Timed Systems
• Lectures on Concurrency and Petri Nets
• Model Checking Software
• Off-line test selection with test purposes for non-deterministic timed automata
• Testing timed automata
• Timed Automata with Integer Resets: Language Inclusion and Expressiveness
• Undecidable Problems About Timed Automata

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 Q6102163)