Verification and Control of Hybrid Systems

@inproceedings{Tabuada2009VerificationAC,
  title={Verification and Control of Hybrid Systems},
  author={P. Tabuada},
  year={2009}
}
In what case do you like reading so much? What about the type of the verification and control of hybrid systems book? The needs to read? Well, everybody has their own reason why should read some books. Mostly, it will relate to their necessity to get knowledge from the book and want to read just to get entertainment. Novels, story book, and other entertaining books become so popular this day. Besides, the scientific books will also be the best reason to choose, especially for the students… Expand

Topics from this paper

CGMurphi: Automatic synthesis of numerical controllers for nonlinear hybrid systems
A Survey on Logical Control Systems
Formal synthesis of control strategies for dynamical systems
  • C. Belta
  • Computer Science
  • 2016 IEEE 55th Conference on Decision and Control (CDC)
  • 2016
Inductive Certificate Synthesis for Control Design
Stability analysis and controller synthesis for hybrid dynamical systems
Correct-by-Construction Adaptive Cruise Control: Two Approaches
Controller Verification and Design with Logical Analysis Support
Integrated Design of Symbolic Controllers for Nonlinear Systems
ASM and Controller Synthesis
...
1
2
3
4
5
...