Plug-and-Play Distributed Safety Verification for Linear Control Systems With Bounded Uncertainties.
Andrea CarronKim Peter WabersichMelanie N. ZeilingerPublished in: IEEE Trans. Control. Netw. Syst. (2021)
Keyphrases
- control system
- safety analysis
- distributed environment
- cooperative
- distributed systems
- peer to peer
- communication overhead
- lightweight
- model checking
- case study
- computing environments
- distributed network
- dynamic environments
- fault tolerant
- control algorithm
- loosely coupled
- face recognition
- fingerprint verification
- asynchronous circuits
- database
- autonomous mobile