Fault-tolerant control synthesis and verification of distributed embedded systems.
Matthias KauerDamoon SoudbakhshDip GoswamiSamarjit ChakrabortyAnuradha M. AnnaswamyPublished in: DATE (2014)
Keyphrases
- embedded systems
- low cost
- embedded software
- embedded devices
- computing power
- real time embedded
- resource limited
- fault tolerant control
- real time systems
- distributed systems
- consumer electronics
- software systems
- cooperative
- hw sw
- safety critical
- embedded real time systems
- stability analysis
- model checking
- control system
- hardware software
- protocol stack
- flash memory
- field programmable gate array
- neural network
- nonlinear systems
- control scheme
- closed loop
- case study