Pattern matching and parameter identification for parametric timed regular expressions
Timed formalisms such as Timed Automata (TA), Signal Temporal Logic (STL) and Timed
Regular expressions (TRE) have been previously applied as behaviour specifications for …
Regular expressions (TRE) have been previously applied as behaviour specifications for …
Offline and online monitoring of scattered uncertain logs using uncertain linear dynamical systems
Monitoring the correctness of distributed cyber-physical systems is essential. We address
the analysis of the log of a black-box cyber-physical system. Detecting possible safety …
the analysis of the log of a black-box cyber-physical system. Detecting possible safety …
A model template for reachability-based containment checking of imprecise observations in timed automata
S Lehmann, S Schupp - Software and Systems Modeling, 2024 - Springer
Verifying safety requirements by model checking becomes increasingly important for safety-
critical applications. For the validity of such proof in practice, the model needs to capture the …
critical applications. For the validity of such proof in practice, the model needs to capture the …
MoULDyS: Monitoring of autonomous systems in the presence of uncertainties
We introduce MoULDyS, that implements efficient offline and online monitoring algorithms of
black-box cyber-physical systems wrt safety properties. MoULDyS takes as input an …
black-box cyber-physical systems wrt safety properties. MoULDyS takes as input an …
Parametric timed formalisms for specification and monitoring
A Mambakam - 2023 - theses.hal.science
Cyber-physical systems (CPS) consist of computer systems which control physical
processes. Examples of this include medical devices, autonomous cars, and robots. Due to …
processes. Examples of this include medical devices, autonomous cars, and robots. Due to …
Offline and online energy-efficient monitoring of scattered uncertain logs using a bounding model
Monitoring the correctness of distributed cyber-physical systems is essential. Detecting
possible safety violations can be hard when some samples are uncertain or missing. We …
possible safety violations can be hard when some samples are uncertain or missing. We …
[PDF][PDF] Formal verification Part 3: Parametric timed automata
É André - lipn.univ-paris13.fr
Formal verification – Part 3 (Parametric timed automata) Page 1 M2 P2S 2024-2025 Formal
verification Part 3: Parametric timed automata Étienne André Université Sorbonne Paris Nord …
verification Part 3: Parametric timed automata Étienne André Université Sorbonne Paris Nord …