메뉴 건너뛰기




Volumn 1, Issue , 2003, Pages 415-421

Discrete abstraction and supervisory control of switching systems

Author keywords

Discrete abstraction; Hybrid systems; Supervisory control

Indexed keywords

ABSTRACTING; BOUNDARY CONDITIONS; CONTROL SYSTEM SYNTHESIS; GRADIENT METHODS; MATHEMATICAL MODELS; PROBABILITY DISTRIBUTIONS; SCADA SYSTEMS; STATE SPACE METHODS; VECTORS;

EID: 0242408955     PISSN: 08843627     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper
Times cited : (6)

References (12)
  • 1
    • 0001354261 scopus 로고    scopus 로고
    • Special issue on hybrid systems
    • P. Antsaklis, editor
    • P. Antsaklis, editor. Special Issue on Hybrid Systems. Proceedings of the IEEE. July 2000.
    • Proceedings of the IEEE. July 2000
  • 3
    • 0032049732 scopus 로고    scopus 로고
    • Synthesis of supervisory controllers for hybrid systems based on approximating automata
    • J. Cury, B. Krogh, and T. Niinomi. Synthesis of supervisory controllers for hybrid systems based on approximating automata. IEEE Trans. Autom. Control, 43(4):564568, 1998.
    • (1998) IEEE Trans. Autom. Control , vol.43 , Issue.4 , pp. 564568
    • Cury, J.1    Krogh, B.2    Niinomi, T.3
  • 5
    • 0029276430 scopus 로고
    • Optimal supervisory control of discrete event dynamic systems
    • R. Kumar and V.K. Garg. Optimal supervisory control of discrete event dynamic systems. SIAM Journal on Control and Optimization, 33(2):419-439, 1995.
    • (1995) SIAM Journal on Control and Optimization , vol.33 , Issue.2 , pp. 419-439
    • Kumar, R.1    Garg, V.K.2
  • 6
    • 0028393268 scopus 로고
    • Qualitative modeling of linear dynamical systems with quantised state measurements
    • J. Lunze. Qualitative modeling of linear dynamical systems with quantised state measurements. Automatica, 30(3):417-431, 1994.
    • (1994) Automatica , vol.30 , Issue.3 , pp. 417-431
    • Lunze, J.1
  • 7
    • 0033100884 scopus 로고    scopus 로고
    • Deterministic discrete-event representations of linear continuous-variable systems
    • J. Lunze, B. Nixdorf, and J. Schroder. Deterministic discrete-event representations of linear continuous-variable systems. Automatica, 35(3):396-406, 1999.
    • (1999) Automatica , vol.35 , Issue.3 , pp. 396-406
    • Lunze, J.1    Nixdorf, B.2    Schroder, J.3
  • 8
    • 0000870565 scopus 로고
    • Models for hybrid systems: Automata, topologies, controllability, observability
    • In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors; Berlin, Germany; Springer-Verlag
    • A. Nerode and W. Kohn. Models for hybrid systems: Automata, topologies, controllability, observability. In R. L. Grossman, A. Nerode, A. P. Ravn, and H. Rischel, editors, Hybrid Systems, pages 317-356, Berlin, Germany, 1993, Springer-Verlag.
    • (1993) Hybrid Systems , pp. 317-356
    • Nerode, A.1    Kohn, W.2
  • 9
    • 84947929785 scopus 로고    scopus 로고
    • A totally ordered set of discrete abstractions for a given hybrid system
    • In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors; Germany; Springer-Verlag
    • J. Raisch and S. O'Young. A totally ordered set of discrete abstractions for a given hybrid system. In P. Antsaklis, W. Kohn, A. Nerode, and S. Sastry, editors, Hybrid Systems IV, pages 342-360, Germany, 1997. Springer-Verlag.
    • (1997) Hybrid Systems IV , pp. 342-360
    • Raisch, J.1    O'Young, S.2
  • 10
    • 0032047689 scopus 로고    scopus 로고
    • Discrete approximation and supervisory control of continuous systems
    • J. Raisch and S. O'Young, Discrete approximation and supervisory control of continuous systems. IEEE Trans. Autom. Control, 43(4):568-573, 1998.
    • (1998) IEEE Trans. Autom. Control , vol.43 , Issue.4 , pp. 568-573
    • Raisch, J.1    O'Young, S.2
  • 11
    • 0030161807 scopus 로고    scopus 로고
    • A logical DES approach to the design of hybrid control systems
    • J. Stiver, P. Antsaklis, and M. Lemmon. A logical DES approach to the design of hybrid control systems. Mathl. Comput. Modelling, 23(11/12):55-76, 1996.
    • (1996) Mathl. Comput. Modelling , vol.23 , Issue.11-12 , pp. 55-76
    • Stiver, J.1    Antsaklis, P.2    Lemmon, M.3
  • 12
    • 0003506104 scopus 로고    scopus 로고
    • ECE Department, University of Toronto, revised 1 July
    • W. M. Wonham. Notes on Control of Discrete-Event Systems. ECE Department, University of Toronto, revised 1 July 2002. http://www.control.utoronto.ca/DES.
    • (2002) Notes on Control of Discrete-Event Systems
    • Wonham, W.M.1


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