Abstract
AbstractSo far, we have presented and discussed basic results for the modeling, verification, stability, and optimal control of hybrid systems. These results have been introduced by both the computer science and control engineering communities. The computer science community has been primarily interested in verifying the correctness of embedded codes in the face of real-time constraints and interactions with the physical world; while the control engineering community has been mainly focusing on the effects of discontinuities (such as switching of dynamics and jumping of states) caused by the use of digital processors and communication networks that are increasingly becoming ubiquitous.
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have