Browse by Author or creator

Pang, Y. and Spathopoulos, M.P. and Xia, H. (2007) Reachability and optimal control for linear hybrid automata: a quantifier elimination approach. International Journal of Control, 80 (5). pp. 731-748. ISSN 0020-7179

Pang, Y. and Spathopoulos, M.P. and Xia, H. (2006) Suboptimal target control for hybrid automata using model predictive control. Nonlinear Analysis: Theory, Methods and Applications, 65 (6). pp. 1211-1230. ISSN 0362-546X

Spathopoulos, M.P.; (2006) Hybrid target control design. In: Proceedings of the International Conference on Hybrid Systems and Applications. Elsevier.

Pang, Yan and Xia, Hao and Spathopoulos, Michael P.; (2006) Robust semi-explicit model predictive control for hybrid automata. In: Proceedings of International Conference on Computational Science and Its Applications. Lecture Notes in Computer Science . Springer. ISBN 3540340793

Pang, Y. and Spathopoulos, M.P. (2005) Synthesis of controllers for target problems of hybrid systems using appropriate computation. International Journal of Control, 78 (18). pp. 1466-1485. ISSN 0020-7179

Pang, Y. and Spathopoulos, M.P. (2005) Time optimal control systhesis for discrete time hybrid automata. International Journal of Control, 78 (11). pp. 847-863. ISSN 0020-7179

Pang, Yan and Spathopoulos, Michael P. and Raisch, Joerg; (2005) On suboptimal control design for hybrid automata using predictive control techniques. In: Proceedings of the the 16th IFAC World Congress. Elsevier. ISBN 008045108X

Pang, Yan and Spathopoulos, Michael P. (2004) On weighted time optimal control for linear hybrid automata using quantifier elimination. In: Proceedings of the 7th IFAC International Workshop on Discrete Event Systems, 2004-09-22 - 2004-09-24.

Spathopoulos, Michael P. (2004) Non-blocking supervisory control for initialised rectangular automata. Asian Journal of Control, 6 (2). pp. 293-301. ISSN 1561-8625

Spathopoulos, M.P. and Komenda, J. (2004) Discussion on: Supervisory control of discrete event systems with flexible marking. European Journal of Control, 10 (1). pp. 61-64. ISSN 0947-3580

Spathopoulos, M.P. and Fragopoulos, D. (2004) Pendulation control of an offshore crane. International Journal of Control, 77 (7). pp. 654-670. ISSN 0020-7179

Trontis, A. and Spathopoulos, M.P. (2003) On the control synthesis for target problems in continuous and hybrid systems using level set methods. In: Proceedings of the 11th IEEE Mediterranean Conference on Control and Automation MED 03, 2003-06-17 - 2003-06-20.

Trontis, A. and Spathopoulos, M.P.; (2003) Hierarchical control synthesis for eventuality specifications in hybrid systems - Invited Session. In: Proceedings of the IFAC Conference on Analysis and Design of Hybrid Systems. International Federation of Automatic Control (IFAC).

Trontis, A. and Spathopoulos, M.P. (2003) Hybrid control synthesis for eventuality specifications using level set methods. International Journal of Control, 76 (16). pp. 1599-1627. ISSN 0020-7179

Spathopoulos, M.P. (2003) On a simplified untiming procedure for supervisory control of timed automata when the time increases strictly monotonically. International Journal of Control, 76 (17). pp. 1739-1748. ISSN 0020-7179

Spathopoulos, M.P. (2003) On supervisory control for timed automata using urgency - invited session. In: IEEE Conference on Methods and Models in Automation and Robotics, 2003-08-01.

Trontis, A. and Spathopoulos, M.P. (2003) Supervisory target control for hybrid systems. International Journal of Control, 76 (11). pp. 1142-1158. ISSN 0020-7179

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Approximate analysis of supervisory target control for hybrid systems. In: 41st IEEE Conference on Decision and Control, 2002-12-10 - 2002-12-13.

Trontis, A. and Spathopoulos, M.P. (2002) The batch evaporator: a case study of target control for hybrid systems using level set methods. In: 41st IEEE Conference on Decision and Control, 2002-12-10 - 2002-12-13.

Xia, H. and Trontis, A. and Pang, Y. and Spathopoulos, M.P. (2002) Supervisory eventuality synthesis. In: 6th International Workshop on Discrete Event Systems (WODES 02), 2002-10-02 - 2002-10-04.

Trontis, A. and Xia, H. and Pang, Y. and Spathopoulos, M.P.; Basanez, Luis, ed. (2002) Target control for hybrid systems. In: 15th IFAC World Congress on Automatic Control, 2002-07-21 - 2002-07-26.

Xia, H. and Pang, Y. and Spathopoulos, M.P. (2002) Eventuality synthesis for controlled linear automata. In: 20th Annual American Control Conference (ACC), 2002-05-08 - 2002-05-10.

Giua, A. and Smedinga, R. and Spathopoulos, M.P. and van Schuppen, J.H. (2002) Editorial introduction. Discrete Event Dynamic Systems, 12 (1). p. 5. ISSN 0924-6703

Trontis, A. and Xia, H. and Spathopoulos, M.P. (2002) Supervisory target control for hybrid systems. In: 15th IFAC World Congress 2002, 2002-07-21 - 2002-07-26.

Trontis, Anastasios and Spathopoulos, Michael P.; (2001) Target control for hybrid systems with linear continuous dynamics. In: Proceedings of the 40th IEEE Conference on Decision and Control. IEEE, pp. 1229-1234. ISBN 0780370619

Spathopoulos, M.P. and Fragopoulos, D.; (2001) Control design of a crane for offshore lifting operations. In: Nonlinear control in the year 2000, vol 2. Lecture Notes in Control and Information Sciences, 259 (2). Springer, pp. 469-486. ISBN 1-85233-364-2