1. Monotone control systems;Angeli;IEEE Transactions on Automatic Control,2003
2. Computing approximating automata for a class of hybrid systems;Chutinan;Mathematical and Computer Modeling of Dynamical Systems: Special Issue on Discrete Event Models of Continuous Systems,2000
3. Synthesis of supervisory controllers for hybrid systems based on approximating automata;Cury;IEEE Transactions on Automatic Control,1998
4. M. Henze, C. P. L. Grady, W. Gujer, G. v. R Marais, and T. Matsuo. Activated sludge model No. 1. IAWPRC Scientific and technical reports, No. 1. International Association on Water Pollution Research and Control, IAWPRC, London, 1987.
5. Safety and reachability of piecewise linear hybrid dynamical systems based on discrete abstractions;Koutsoukos;Discrete Event Dynamic Systems,2003