SCOPUS 정보 검색 플랫폼

Discrete Event Dynamic Systems: Theory and Applications

Volumn 12, Issue 1, 2002, Pages 83-107

Discrete supervisory control of hybrid systems based on l-complete approximations

(3) Moor, Thomas a Raisch, Jörg b O'Young, Siu c

a AUSTRALIAN NATIONAL UNIVERSITY (Australia)

b MAX PLANCK INSTITUTE FOR DYNAMICS OF COMPLEX TECHNICAL SYSTEMS (Germany)

c MEMORIAL UNIVERSITY OF NEWFOUNDLAND (Canada)

Author keywords

Behavioral approach; Hybrid systems; L complete approximations; Supervisory control

Indexed keywords

APPROXIMATION THEORY; BEHAVIORAL RESEARCH; CONTROL SYSTEM SYNTHESIS; FEEDBACK CONTROL; FINITE AUTOMATA; PROBLEM SOLVING; SCADA SYSTEMS; TEMPERATURE CONTROL;

BEHAVIORAL APPROACH; DISCRETE SUPERVISORY CONTROL; HYBRID SYSTEMS; L-COMPLETE APPROXIMATIONS;

DISCRETE TIME CONTROL SYSTEMS;

EID: 0036163346 PISSN: 09246703 EISSN: None Source Type: Journal
DOI: 10.1023/A:1013339920783 Document Type: Article

Times cited : (77)

References (33)

1
- 0000050873
- Hybrid automata: An algorithmic approach to the specification and verification of hybrid systems
- In Grossman et al.
- (1993) Hybird Systems IV, Lecture Notes in Computer Sciences , pp. 209-229
- Alur, R.¹ Courcoubetis, C.² Henzinger, T.A.³ Ho, P.-H.⁴

2
- 0005039052
- Alur, R., Henzinger, T. A., and Sontag, E. D., editors; Springer-Verlag
- (1996) Hybrid Systems III, Lecture Notes in Computer Sciences , vol.1066

3
- 0001120040
- Hybrid system modeling and autonomous control systems
- In Grossman et al.
- (1993) Hybird Systems IV, Lecture Notes in Computer Sciences , pp. 366-392
- Antsaklis, P.J.¹ Stiver, J.A.² Lemmon, M.³

4
- 0003442285
- Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors; Springer-Verlag
- (1995) Hybrid Systems II, Lecture Notes in Computer Sciences , vol.999

5
- 0003442285
- Antsaklis, P. J., Kohn, W., Nerode, A., and Sastry, S., editors; Springer-Verlag
- (1997) Hybrid Systems IV, Lecture Notes in Computer Sciences , vol.1273

6
- 0003442285
- Antsaklis, P. J., Kohn, W., Lemmon, M., Nerode, A., and Sastry, S., editors; Springer-Verlag
- (1999) Hybrid Systems V, Lecture Notes in Computer Sciences , vol.1567

7
- 0008234753
- Antsaklis, P. J., and Nerode, A., editors; Special issue on hybrid systems
- (1998) IEEE Transactions on Automatic Control , vol.43 , Issue.4

8
- 0032266345
- Computing polyhedral approximations to flow pipes for dynamic systems
- (1998) Proceedings of the 37rd IEEE Conference on Decision and Control
- Chutinan, A.¹ Krogh, B.H.²

9
- 0004838133
- Computing approximating automata for a class of linear hybrid systems
- In Antsaklis et al.
- (1999) Hybrid Systems V, Lecture Notes in Computer Sciences , pp. 16-38
- Chutinan, A.¹ Krogh, B.H.²

10
- 0032049732
- Synthesis of supervisory controllers for hybrid systems based on approximating automata
- In Antsaklis and Nerode, 1998
- (1998) IEEE Transactions on Automatic Control , pp. 564-568
- Cury, J.E.R.¹ Krogh, B.A.² Niinomi, T.³

11
- 84957870468
- Reachability analysis via face lifting
- In Henzinger, T. A. and Sastry, S., editors; Springer-Verlag
- (1998) Hybrid Systems: Computation and Control, Lecture Notes in Computer Sciences , vol.1386 , pp. 96-109
- Dang, T.¹ Maler, O.²

12
- 0008236694
- Evans, R. J., and Savkin, A. V., editors; Special issue on hybrid control systems
- (1999) Systems and Control Letters , vol.38 , Issue.3

13
- 0008239176
- Combined rule- and model-based design of a hybrid thermal process
- (1998) Proc. CESA98, Nabeul-Hammamet, Tunesia , pp. 630-634
- Franke, D.¹ Moor, T.²

14
- 0004242478
- Grossman, R. L., Nerode, A., Ravn, A. P., and Rischel, H., editors; Springer-Verlag
- (1993) Hybrid Systems IV, Lecture Notes in Computer Sciences , vol.736

15
- 0008196199
- Safety enforcement in process control systems-a batch evaporator example
- (1998) Proc. WODES'98-International Workshop on Discrete Event Systems, IEEE , pp. 327-333
- Klein, E.¹ Raisch, J.²

16
- 0008234430
- Synthesizing a supervisory control scheme for the start-up procedure of a distillation column-an approach based on approximating continuous dynamics by DES models
- (1998) Proc. LSS'98-8th IFAC Colloquium on Large Scale Systems , pp. 716-721
- Klein, E.¹ Kienle, A.² Raisch, J.³

17
- 0029343941
- Stabilization of nonlinear systems by qualitative feedback controllers
- (1995) International Journal of Control , vol.62 , pp. 109-128
- Lunze, J.¹

18
- 0028393268
- Qualitative modeling of linear dynamical systems with quantized state measurements
- (1994) Automatica , vol.30 , pp. 417-431
- Lunze, J.¹

19
- 0008278504
- Event driven control of switched-integrator-systems
- (1998) 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France , pp. 271-277
- Moor, T.¹

20
- 0001838633
- Supervisory control of hybrid systems via l-complete approximations
- In Giua, A., Smedinga, R. and Spathopoulos, M., editors
- (1998) Proc. WODES'98-International Workshop on Discrete Event Systems, IEEE , pp. 426-431
- Moor, T.¹ Raisch, J.² O'Young, S.D.³

21
- 0008276632
- Estimating reachable states of hybrid systems via l-complete approximations
- In Bajic, V. B., editor; IAAMSAD and the South African Branch of the Academy of Nonlinear Sciences
- (1998) Proc. SSCC'98-Advances in Systems, Signals Control and Computers , vol.3 , pp. 30-34
- Moor, T.¹ Raisch, J.²

22
- 0003337724
- Discrete control of switched linear systems
- (1999) Proceedings of the European Control Conference 1999
- Moor, T.¹ Raisch, J.²

23
- 0001416740
- Supervisory control of hybrid systems within a behavioral framework
- In Evans and Savkin
- (1999) Systems and Control Letters , pp. 157-166
- Moor, T.¹ Raisch, J.²

24
- 0008195390
- Hybrid RTSS
- Faculty of Engineering, Memorial University of Newfoundland, Internal Report
- (1998)
- O'Young, S.D.¹

25
- 84958047920
- Epsilon approximations of differential inclusions
- In Alur et al.
- (1996) Hybrid Systems III, Lecture Notes in Computer Sciences , pp. 362-376
- Puri, A.¹ Varaiya, P.² Borkar, V.³

26
- 84947929785
- A totally ordered set of discrete abstractions for a given hybrid or continuous system
- In Antsaklis et al.
- (1997) Hybrid Systems IV, Lecture Notes in Computer Sciences , pp. 342-360
- Raisch, J.¹ O'Young, S.D.²

27
- 0008261161
- A hierarchy of discrete abstractions for a given hybrid plant
- (1998) 3rd International Conference ADPM'98, Automation of Mixed Processes: Dynamic Hybrid Systems, Reims, France , pp. 55-62
- Raisch, J.¹

28
- 0032047689
- Discrete approximation and supervisory control of continuous systems
- In Antsaklis and Nerode
- (1998) IEEE Systems on Automatic Control , pp. 569-573
- Raisch, J.¹ O'Young, S.D.²

29
- 0023104549
- Supervisory control of a class of discrete event systems
- (1987) SIAM J. Control and Optimization , vol.25 , pp. 206-230
- Ramadge, P.J.¹ Wonham, W.M.²

30
- 0024479313
- The control of discrete event systems
- (1989) Proceedings of the IEEE , vol.77 , pp. 81-98
- Ramadge, P.J.¹ Wonham, W.M.²

31
- 0028749088
- Control-law synthesis for linear hybrid systems
- (1994) Proceedings of the 33rd IEEE Conference on Decision and Control , pp. 961-966
- Tittus, M.¹ Egardt, B.²

32
- 0000695559
- Models for dynamics
- (1989) Dynamics Reported , vol.2 , pp. 172-269
- Willems, J.C.¹

33
- 0026119885
- Paradigms and puzzles in the theory of dynamic systems
- (1991) IEEE Transactions on Automatic Control , vol.36 , Issue.3 , pp. 258-294
- Willems, J.C.¹

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