Safety-Critical Stabilizing Design of Switched Linear Autonomous Systems.

Miaomiao Wang Zhendong Sun

Published in: Unmanned Syst. (2024)

Keyphrases

autonomous systems
safety critical
formal methods
embedded systems
artificial intelligence
user interface
decision support system
dynamic environments
real time
knowledge acquisition
fault tolerant
modeling language