ON THE CONTROL OF TIMED AND HYBRID SYSTEMS

被引：0
|
作者：
Aceto, Luca [1 ,2 ]
Bouyer, Patricia [3 ,4 ]
Chevalier, Fabrice [3 ,4 ]
机构：
[1] Aalborg Univ, Dept Comp Sci, BRICS, DK-9220 Aalborg O, Denmark
[2] Reykjavik Univ, Sch Sci & Engn, Dept Comp Sci, IS-103 Reykjavik, Iceland
[3] CNRS, LSV, Paris, France
[4] ENS Cachan, Cachan, France
来源：
BULLETIN OF THE EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE | 2006年 / 89期
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
In this paper, we survey some of the results which have been obtained the last ten years on the control of hybrid and timed systems.
引用
收藏
页码：79 / 96
页数：18
相关论文
共 50 条
  • [1] A comparison of control problems for timed and hybrid systems
    Cassez, F
    Henzinger, TA
    Raskin, JF
    [J]. HYBRID SYSTEMS: COMPUTATION AND CONTROL, 2002, 2289 : 134 - 148
  • [2] Timed Petri Nets in Hybrid Systems: Stability and Supervisory Control
    Xenofon D. Koutsoukos
    Kevin X. He
    Michael D. Lemmon
    Panos J. Antsaklis
    [J]. Discrete Event Dynamic Systems, 1998, 8 : 137 - 173
  • [3] Timed Petri nets in hybrid systems: Stability and supervisory control
    Koutsoukos, XD
    He, KX
    Lemmon, MD
    Antsaklis, PJ
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (02): : 137 - 173
  • [4] FROM TIMED TO HYBRID SYSTEMS
    MALER, O
    MANNA, Z
    PNUELI, A
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1992, 600 : 447 - 484
  • [5] Modularity for timed and hybrid systems
    Alur, R
    Henzinger, TA
    [J]. CONCUR'97 : CONCURRENCY THEORY, 1997, 1243 : 74 - 88
  • [6] Reduction of timed hybrid systems
    Di Gennaro, S
    Horn, C
    Kulkarni, SR
    Ramadge, PJ
    [J]. DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1998, 8 (04): : 343 - 351
  • [7] Verification of timed and hybrid systems
    Larsen, KG
    [J]. APPLICATION AND THEORY OF PETRI NETS 2000, PROCEEDINGS, 2000, 1825 : 39 - 42
  • [8] Reduction of timed hybrid systems
    Gennaro S.D.I.
    Horn C.
    Kulkarni S.R.
    Ramadge P.J.
    [J]. Discrete Event Dynamic Systems, 1998, 8 (4) : 343 - 351
  • [9] Reduction of timed hybrid systems
    Universita di L'Aquila, L'Aquila, Italy
    [J]. Discrete Event Dyn Syst Theory Appl, 4 (343-351):
  • [10] Programmable timed Petri nets in the analysis and design of hybrid control systems
    Koutsoukos, XSD
    Antsaklis, PJ
    He, KXY
    Lemmon, MD
    [J]. PROCEEDINGS OF THE 37TH IEEE CONFERENCE ON DECISION AND CONTROL, VOLS 1-4, 1998, : 1617 - 1622
12345