imane lamrani, ayan banerjee, sandeep k.s. gupta. ilamrani@asu › wp-content › uploads › 2020...
Post on 27-Jun-2020
5 Views
Preview:
TRANSCRIPT
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.
top related