Set propagation techniques for reachability analysis
Reachability analysis consists in computing the set of states that are reachable by a
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
dynamical system from all initial states and for all admissible inputs and parameters. It is a …
Formal methods to comply with rules of the road in autonomous driving: State of the art and grand challenges
We provide a review of recent work on formal methods for autonomous driving. Formal
methods have been traditionally used to specify and verify the behavior of computer …
methods have been traditionally used to specify and verify the behavior of computer …
Barriernet: Differentiable control barrier functions for learning of safe robot control
Many safety-critical applications of neural networks, such as robotic control, require safety
guarantees. This article introduces a method for ensuring the safety of learned models for …
guarantees. This article introduces a method for ensuring the safety of learned models for …
Conformance checking: foundations, milestones and challenges
By relating observed and modelled behaviour, conformance checking unleashes the full
power of process mining. Techniques from this discipline enable the analysis of the quality …
power of process mining. Techniques from this discipline enable the analysis of the quality …
Comparison of guaranteed state estimators for linear time-invariant systems
Guaranteed state estimation computes the set of possible states of dynamical systems given
the bounds of model uncertainties, disturbances, and noises. For the first time, we evaluate …
the bounds of model uncertainties, disturbances, and noises. For the first time, we evaluate …
Provably safe reinforcement learning via action projection using reachability analysis and polynomial zonotopes
While reinforcement learning produces very promising results for many applications, its main
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …
disadvantage is the lack of safety guarantees, which prevents its use in safety-critical …
Provably safe reinforcement learning: Conceptual analysis, survey, and benchmarking
Ensuring the safety of reinforcement learning (RL) algorithms is crucial to unlock their
potential for many real-world tasks. However, vanilla RL and most safe RL approaches do …
potential for many real-world tasks. However, vanilla RL and most safe RL approaches do …
Evaluation of key factors for industry 4.0 technologies adoption in small and medium enterprises (SMEs): An emerging economy context
K Karuppiah, B Sankaranarayanan… - Journal of Asia …, 2023 - emerald.com
Purpose Industry 4.0 (I4. 0) not only turns traditional industrial activities upside down but
also demonstrates its potential to enhance industrial competitiveness and productivity. In this …
also demonstrates its potential to enhance industrial competitiveness and productivity. In this …
Categorical semantics of cyber-physical systems theory
Cyber-physical systems require the construction and management of various models to
assure their correct, safe, and secure operation. These various models are necessary …
assure their correct, safe, and secure operation. These various models are necessary …
[PDF][PDF] Checking and establishing reachset conformance in CORA 2023
M Althoff - Proc. of 10th International Workshop on Applied …, 2023 - mediatum.ub.tum.de
Tool presentation: When formally verifying models of cyber-physical systems, it is obviously
important that their verification results can be transferred to all previous observations of the …
important that their verification results can be transferred to all previous observations of the …