Spatio-temporal model-checking of cyber-physical systems using graph queries

DOI10.1007/978-3-030-50995-8_4MaRDI QIDQ6487260zbMATH OpenFDO

Authors Hamed Nemati, Karl Meinke

Publication date 9 November 2022

Full work available at URL https://doi.org/10.1007/978-3-030-50995-8_4

Mathematics Subject Classification ID

Database theory (68P15) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• An Experimental Spatio-Temporal Model Checker
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Spatio-temporal hybrid automata for cyber-physical systems
• Probabilistic Metric Temporal Graph Logic
• Qualitative and quantitative monitoring of spatio-temporal properties with SSTL

Cites work

• A calculus of durations
• A theory of timed automata
• An abstract model for proving safety of autonomous urban traffic
• An Experimental Spatio-Temporal Model Checker
• Defining liveness
• Grammatical inference. Learning automata and grammars.
• Handbook of model checking
• Incremental learning-based testing for reactive systems
• Learning and Detecting Emergent Behavior in Networks of Cardiac Myocytes
• SpaTeL: a novel spatial-temporal logic and its applications to networked systems
• Spatio-temporal Model Checking for Mobile Real-Time Systems
• Verification of spatial and temporal modalities in biochemical systems

Cited in

(2)

• Spatio-temporal hybrid automata for cyber-physical systems
• An Experimental Spatio-Temporal Model Checker

This page was built for publication: Spatio-temporal model-checking of cyber-physical systems using graph queries

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