Verification, Performance Analysis and Controller Synthesis for Real-Time Systems.
Uli FahrenbergKim G. LarsenClaus R. ThranePublished in: FSEN (2009)
Keyphrases
- real time systems
- controller synthesis
- autonomic computing systems
- real time
- distributed systems
- closed loop
- model checking
- control system
- embedded systems
- control algorithm
- real time embedded
- timing constraints
- real time database systems
- computing systems
- object oriented programming language
- controller design
- multi agent
- case study
- neural network
- architectural model
- software development
- autonomic systems