Timed and Hybrid Statecharts and Their Textual Representation
Proceedings of the Second International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems
Hi-index | 0.00 |
The stationary state of a continuous hybrid system is analyzed for stability using the method of Lyapunov functions. Sufficient conditions of stability and instability are established. These conditions are constructive and can easily be calculated.