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.

ilamrani@asu.edu

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.