I. Introduction
Power systems frequently exhibit interactions between continuous dynamics and discrete events. They are an important class of hybrid systems. Typically the continuous dynamics relate to components that obey physical laws. Event-driven discrete behavior results from logical rules that govern the system. Examples in this latter category include protection logic, supervisory control and saturation limits.