A supervisory hybrid control design approach is proposed for the operation and control of a wind energy conversion and battery storage system during grid-connec

This book addresses the design of such tools for correct-by-construction synthesis of supervisors for systems and specifications represented in the discrete-eve

This book constitutes the refereed proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control, HSCC 2002, held in Stanford, Califo

"Hybrid systems are those that-unlike classical systems-exhibit both discrete changes, or "jumps", and continuous changes, or "flow." The canonical example of a