[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 …
Verification for machine learning, autonomy, and neural networks survey
This survey presents an overview of verification techniques for autonomous systems, with a
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents …
Active automata learning in practice: an annotated bibliography of the years 2011 to 2016
Active automata learning is slowly becoming a standard tool in the toolbox of the software
engineer. As systems become ever more complex and development becomes more …
engineer. As systems become ever more complex and development becomes more …
Learning Moore machines from input–output traces
G Giantamidis, S Tripakis, S Basagiannis - International Journal on …, 2021 - Springer
The problem of learning automata from example traces (but no equivalence or membership
queries) is fundamental in automata learning theory and practice. In this paper, we study this …
queries) is fundamental in automata learning theory and practice. In this paper, we study this …
A framework for identification and validation of affine hybrid automata from input-output traces
Automata-based modeling of hybrid and cyber-physical systems (CPS) is an important
formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in …
formal abstraction amenable to algorithmic analysis of its dynamic behaviors, such as in …
A system identification based oracle for control-cps software fault localization
Control-CPS software fault localization (SFL, aka bug localization) is of critical importance as
bugs may cause major failures, even injuries/deaths. To locate the bugs in control-CPSs …
bugs may cause major failures, even injuries/deaths. To locate the bugs in control-CPSs …
Learning Environment Models with Continuous Stochastic Dynamics
Solving control tasks in complex environments automatically through learning offers great
potential. While contemporary techniques from deep reinforcement learning (DRL) provide …
potential. While contemporary techniques from deep reinforcement learning (DRL) provide …
Operational data-driven feedback for safety evaluation of agent-based cyber–physical systems
I Lamrani, A Banerjee… - IEEE Transactions on …, 2020 - ieeexplore.ieee.org
Safety regulation of safety-critical agent-based cyber-physical systems (CPS) which are
manufactured in large scale such as next-gen aircrafts, autonomous driving vehicles, and …
manufactured in large scale such as next-gen aircrafts, autonomous driving vehicles, and …
Discovering a data interpreted petri net model of industrial control systems for anomaly detection
An industrial control system (ICS) can be described as an integration of heterogeneous
processes, ie, a discrete event-driven process at the automatic control layer and a …
processes, ie, a discrete event-driven process at the automatic control layer and a …
Membership-based synthesis of linear hybrid automata
We present two algorithmic approaches for synthesizing linear hybrid automata from
experimental data. Unlike previous approaches, our algorithms work without a template and …
experimental data. Unlike previous approaches, our algorithms work without a template and …