Abstraction of Hybrid Systems: With an application in railway management

Disturbances are an important factor in the performance of complex large scale systems. These complex large scale systems can be modeled by a broad class of hybrid dynamical systems. The current practice of controlling such processes is one way, from the scheduling level to the control level. The performance of these complex systems can be...