SCOPUS 정보 검색 플랫폼

IFAC Proceedings Volumes (IFAC-PapersOnline)

Volumn 15, Issue 1, 2002, Pages 217-222

Target control for hybrid systems

(4) Trontis, Anastasios a Xia, Hao a Pang, Yan a Spathopoulos, Michael P a

a UNIVERSITY OF STRATHCLYDE (United Kingdom)

Author keywords

Discrete event systems; Hybrid systems; Reachabilty; Supervisory control; Target control

Indexed keywords

AUTOMATION; COST FUNCTIONS; DISCRETE EVENT SIMULATION;

CONTROL PROBLEMS; CONTROL SYNTHESIS; DISCRETE EVENTS; HYBRID AUTOMATONS; REACHABILITY ANALYSIS; REACHABILTY; SUPERVISORY CONTROL; SWITCHING CONTROLLERS;

HYBRID SYSTEMS;

EID: 84945588948 PISSN: 14746670 EISSN: None Source Type: Conference Proceeding
DOI: 10.3182/20020721-6-es-1901.00524 Document Type: Conference Paper

Times cited : (5)

References (10)

1
- 0000285910
- Effective synthesis of switching controllers for linear systems
- Asarin, E., O. Bournez, T. Dang, O. Maler and A. Pnueli (2000). Effective synthesis of switching controllers for linear systems. IEEE Proceedings (88), 1011-1025.
- (2000) IEEE Proceedings , Issue.88 , pp. 1011-1025
- Asarin, E.¹ Bournez, O.² Dang, T.³ Maler, O.⁴ Pnueli, A.⁵

2
- 84944257534
- On hybrid control of under-actuated mechanical systems
- LNCS 2034. Springer
- Asarin, E., S. Bansal, B. Espiau, T. Dang and O. Maler (2001). On hybrid control of under-actuated mechanical systems. In: Hybrid Systems: Computation and Control. LNCS 2034. Springer.
- (2001) Hybrid Systems: Computation and Control
- Asarin, E.¹ Bansal, S.² Espiau, B.³ Dang, T.⁴ Maler, O.⁵

3
- 0003495790
- PhD thesis. VERIMAG. Grenoble
- Dang, T. (2000). Verification and Synthesis of Hybrid Systems. PhD thesis. VERIMAG. Grenoble.
- (2000) Verification and Synthesis of Hybrid Systems
- Dang, T.¹

4
- 0003574981
- Technical report. Department of Mathematics, Coimbra University. Portugal
- Martins, E., M. Pascoal and J. Dos Santos (1998). The k shortest paths problem. Technical report. Department of Mathematics, Coimbra University. Portugal.
- (1998) The K Shortest Paths Problem
- Martins, E.¹ Pascoal, M.² Dos Santos, J.³

5
- 0003406826
- Technical report. Department of Mathematics, Coimbra University. Portugal
- Martins, E., M. Pascoal and J. Dos Santos (2000). Labelling algorithms for ranking shortest paths. Technical report. Department of Mathematics, Coimbra University. Portugal.
- (2000) Labelling Algorithms for Ranking Shortest Paths
- Martins, E.¹ Pascoal, M.² Dos Santos, J.³

6
- 0032048781
- Control design for integrator hybrid systems
- Tittus, M. and B. Egardt (1998). Control design for integrator hybrid systems. IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems 43(4), 491-500.
- (1998) IEEE Transactions on Automatic Control: Special Issue on Hybrid Systems , vol.43 , Issue.4 , pp. 491-500
- Tittus, M.¹ Egardt, B.²

7
- 0033100636
- Controllers for reachability specifications for hybrid systems
- Tomlin, C, J. Lygeros and S. Sastry (1999). Controllers for reachability specifications for hybrid systems. Automatica 35(3), 349-370.
- (1999) Automatica , vol.35 , Issue.3 , pp. 349-370
- Tomlin, C.¹ Lygeros, J.² Sastry, S.³

8
- 0035712861
- Target control for hybrid systems with linear continuous dynamics
- Trontis, A. and M. Spathopoulos (2001a). Target control for hybrid systems with linear continuous dynamics. Proceedings of the 40th CDC.
- (2001) Proceedings of the 40th CDC
- Trontis, A.¹ Spathopoulos, M.²

9
- 84947461243
- Target control for linear hybrid systems
- Trontis, A. and M. Spathopoulos (2001b). Target control for linear hybrid systems. Proceedings of the ECC01.
- (2001) Proceedings of the ECC01
- Trontis, A.¹ Spathopoulos, M.²

10
- 0031379350
- The synthesis of controllers for linear hybrid automata
- Wong-Toi, H. (1997). The synthesis of controllers for linear hybrid automata. Proceedings of the 36th CDC.
- (1997) Proceedings of the 36th CDC
- Wong-Toi, H.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.