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 …
Systems, methods, and apparatuses for utilizing co-simulation of a physical model and a self-adaptive predictive controller using hybrid automata
Methods and systems for utilizing co-simulation of a physical model and a self-adaptive
predictive controller using hybrid automata are described. For example, there is disclosed a …
predictive controller using hybrid automata are described. For example, there is disclosed a …
Toward Operational Safety Verification of AI-Enabled CPS (Student Abstract)
AI-enabled Cyber-physical systems (CPS) such as artificial pancreas (AP) or autonomous
cars are using machine learning to make several critical decisions. The system is subject to …
cars are using machine learning to make several critical decisions. The system is subject to …