Specification-based monitoring of cyber-physical systems: a survey on theory, tools and applications
Abstract The term Cyber-Physical Systems (CPS) typically refers to engineered, physical
and biological systems monitored and/or controlled by an embedded computational core …
and biological systems monitored and/or controlled by an embedded computational core …
Experience paper: Search-based testing in automated driving control applications
C Gladisch, T Heinz, C Heinzemann… - 2019 34th IEEE/ACM …, 2019 - ieeexplore.ieee.org
Automated test generation and evaluation in simulation environments is a key technology for
verification of automated driving (AD) applications. Search-based testing (SBT) is an …
verification of automated driving (AD) applications. Search-based testing (SBT) is an …
Quantitative monitoring of STL with edit distance
In cyber-physical systems (CPS), physical behaviors are typically controlled by digital
hardware. As a consequence, continuous behaviors are discretized by sampling and …
hardware. As a consequence, continuous behaviors are discretized by sampling and …
[HTML][HTML] Online hazard prediction of train operations with parametric hybrid automata based runtime verification
M Chai, X Zhang, BH Schlingloff, T Tang… - Reliability Engineering & …, 2024 - Elsevier
Automatic train control systems are complex and software-intensive cyber–physical systems.
Hazard prediction at runtime for such systems has emerged as an essential research topic …
Hazard prediction at runtime for such systems has emerged as an essential research topic …
AMT 2.0: qualitative and quantitative trace analysis with extended signal temporal logic
We introduce in this paper AMT\; 2.0 AMT 2.0, a tool for qualitative and quantitative analysis
of hybrid continuous and Boolean signals that combine numerical values and discrete …
of hybrid continuous and Boolean signals that combine numerical values and discrete …
[HTML][HTML] Incremental reasoning in probabilistic signal temporal logic
Robot safety is of growing concern given recent developments in intelligent autonomous
systems. For complex agents operating in uncertain, complex and rapidly-changing …
systems. For complex agents operating in uncertain, complex and rapidly-changing …
A few lessons learned in reinforcement learning for quadcopter attitude control
N Bernini, M Bessa, R Delmas, A Gold… - Proceedings of the 24th …, 2021 - dl.acm.org
In the context of developing safe air transportation, our work is focused on understanding
how Reinforcement Learning methods can improve the state of the art in traditional control …
how Reinforcement Learning methods can improve the state of the art in traditional control …
Efficient parametric identification for STL
We describe a new algorithm for the parametric identification problem for signal temporal
logic (STL), stated as follows. Given a dense-time real-valued signal w and a parameterized …
logic (STL), stated as follows. Given a dense-time real-valued signal w and a parameterized …
Control synthesis using signal temporal logic specifications with integral and derivative predicates
AT Buyukkocak, D Aksaray… - 2021 American Control …, 2021 - ieeexplore.ieee.org
In many applications, the integrals and derivatives of signals carry valuable information (eg,
cumulative success over a time window, the rate of change) regarding the behavior of the …
cumulative success over a time window, the rate of change) regarding the behavior of the …
Context, Composition, Automation, and Communication: The C2AC Roadmap for Modeling and Simulation
Simulation has become, in many application areas, a sine qua non. Most recently, COVID-
19 has underlined the importance of simulation studies and limitations in current practices …
19 has underlined the importance of simulation studies and limitations in current practices …