[HTML][HTML] Survey on mining signal temporal logic specifications
Formal specifications play an essential role in the life-cycle of modern systems, both at the
time of their design and during their operation. Despite their importance, formal …
time of their design and during their operation. Despite their importance, formal …
Learning Models of Cyber-Physical Systems with Discrete and Continuous Behaviour for Digital Twin Synthesis
F Wallner - Proceedings of the 2024 IEEE/ACM 46th International …, 2024 - dl.acm.org
Digital twins are used to simulate (cyber-physical) systems and offer great benefits for testing
and verification. The importance of quickly and efficiently constructing digital twins increases …
and verification. The importance of quickly and efficiently constructing digital twins increases …
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 …