State equivalences for rectangular hybrid automata

被引：0
|
作者：
机构：
来源：
Lecture Notes in Computer Science | / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [41] The supremal control-invariant subpredicate in state feedback control of hybrid automata
    Takai, S
    Ushio, T
    SICE 2002: PROCEEDINGS OF THE 41ST SICE ANNUAL CONFERENCE, VOLS 1-5, 2002, : 1145 - 1148
  • [42] Domestic and Trade Equivalences of State Trading Importers
    McCorriston, Steve
    MacLaren, Donald
    REVIEW OF INTERNATIONAL ECONOMICS, 2013, 21 (05) : 1006 - 1020
  • [43] Nonaxiomatisability of equivalences over finite state processes
    Sewell, P
    ANNALS OF PURE AND APPLIED LOGIC, 1997, 90 (1-3) : 163 - 191
  • [44] Combining hybrid Petri nets and hybrid automata
    Sava, AT
    Alla, H
    IEEE TRANSACTIONS ON ROBOTICS AND AUTOMATION, 2001, 17 (05): : 670 - 678
  • [45] Hybrid cc, hybrid automata, and program verification
    Gupta, V.
    Jagadeesan, R.
    Saraswat, V.
    Lecture Notes in Computer Science, 1066
  • [46] Lumping-Based Equivalences in Markovian Automata and Applications to Product-Form Analyses
    Marin, Andrea
    Rossi, Sabina
    QUANTITATIVE EVALUATION OF SYSTEMS, 2015, 9259 : 160 - 175
  • [47] Maximizing reachability probabilities in rectangular automata with random events
    Delicaris, Joanna
    Remke, Anne
    Abraham, Erika
    Schupp, Stefan
    Stuebbe, Jonas
    SCIENCE OF COMPUTER PROGRAMMING, 2025, 240
  • [48] Rectangular hybrid games
    Henzinger, TA
    Horowitz, B
    Majumdar, R
    CONCUR '99: CONCURRENCY THEORY, 1999, 1664 : 320 - 335
  • [49] Exact and fully symbolic verification of linear hybrid automata with large discrete state spaces
    Damm, Werner
    Dierks, Henning
    Disch, Stefan
    Hagemann, Willem
    Pigorsch, Florian
    Scholl, Christoph
    Waldmann, Uwe
    Wirtz, Boris
    SCIENCE OF COMPUTER PROGRAMMING, 2012, 77 (10-11) : 1122 - 1150
  • [50] Hybrid Automata Modeling of SI Gasoline Engines towards State Estimation for Fault Diagnosis
    Sengupta, Somnath
    Mukhopadhyay, Siddhartha
    Deb, Alok
    Pattada, Kallappa
    De, Soumen
    SAE INTERNATIONAL JOURNAL OF ENGINES, 2012, 5 (03) : 759 - 781
12345