Formal Analysis of Timing Effects on Closed-Loop Properties of Control Software.
Goran FrehseArne HamannSophie QuintonMatthias WoehrlePublished in: RTSS (2014)
Keyphrases
- closed loop
- formal analysis
- control software
- control system
- open loop
- feedback control
- control scheme
- control law
- parameter identification
- formal methods
- feedback controller
- asymptotic stability
- pid controller
- guaranteed cost
- ban logic
- disturbance rejection
- agent model
- fuzzy logic
- intelligent control
- tracking error
- control strategy
- mathematical model
- expert systems
- artificial intelligence
- real time