Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.
Masashi MizoguchiToshimitsu UshioPublished in: IEEE Control. Syst. Lett. (2022)
Keyphrases
- embedded systems
- safety critical
- low cost
- safety analysis
- embedded devices
- embedded software
- fault tolerant
- software systems
- cyber physical systems
- formal methods
- agent architecture
- field programmable gate array
- high level
- real time
- ambient intelligence
- decision support
- control system
- expert systems
- case study
- information systems
- artificial intelligence
- databases