Formal methods for stability analysis of networked control systems with IEEE 802.15.4 protocol.
Bo WuHai LinMichael D. LemmonPublished in: CDC (2014)
Keyphrases
- stability analysis
- formal methods
- networked control systems
- nonlinear systems
- protocol specification
- control law
- feedback control
- formal specification
- model checking
- control theory
- control method
- knowledge based systems
- closed loop
- packet loss
- software engineering
- communication networks
- artificial intelligence
- pid controller
- modeling language
- control scheme
- fuzzy clustering
- dynamical systems