I M PAC T L AB , C I S D E
AR I Z O N A S TAT E U N I V E R S I T Y.
Imane Lamrani, Ayan Banerjee, Sandeep K.S. Gupta.
Operational Safety: Ensuring conformance between the out in the fieldoperation of the AI-enabled CPS and its safe certified behavior.
Traditional Approach
Enabled by Runtime Monitoring and Analysis
AI-ENABLED CPS MODEL
Hybrid Automaton (HA) Model of
Maneuvering Characteristics Augmentation System (MCAS).
HA: Hybrid Automata – a formal approach to represent both discrete & continuous behavior of CPS.