Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol.
Bo WuMichael D. LemmonHai LinPublished in: IEEE Trans. Control. Syst. Technol. (2018)
Keyphrases
- stability analysis
- formal methods
- networked control systems
- nonlinear systems
- protocol specification
- control law
- feedback control
- model checking
- knowledge based systems
- communication networks
- control theory
- formal specification
- packet loss
- software engineering
- control method
- artificial intelligence
- control system
- fuzzy control
- modeling language
- closed loop
- real time
- pid controller
- dynamical systems
- mathematical model
- expert systems
- decision making