State equivalences for rectangular hybrid automata

被引：0
|
作者：
机构：
来源：
Lecture Notes in Computer Science | / 1119卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] New Symbolic Model and Equivalences Checking for Open Automata
    Wang, BiYang
    Madelaine, Eric
    Zhang, Min
    2021 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS (SMC), 2021, : 2360 - 2367
  • [22] Probabilistic I/O automata: Theories of two equivalences
    Stark, Eugene W.
    Cleaveland, Rance
    Smolka, Scott A.
    CONCUR 2006 - CONCURRENCY THEORY, PROCEEDINGS, 2006, 4137 : 343 - 357
  • [23] State feedback control of hybrid automata with forcible events
    Ushio, T
    Takai, S
    WODES'02: SIXTH INTERNATIONAL WORKSHOP ON DISCRETE EVENT SYSTEMS, PROCEEDINGS, 2002, : 317 - 322
  • [24] On a class of timer hybrid systems reducible to finite state automata
    Middle East Technical Univ, Ankara, Turkey
    Discrete Event Dyn Syst Theory Appl, 1 (83-96):
  • [25] A dynamic Quantized State System execution framework for Hybrid Automata
    Malik, Avinash
    Roop, Partha
    NONLINEAR ANALYSIS-HYBRID SYSTEMS, 2020, 36
  • [26] A procedure for reachability analysis of rectangular automata
    Preussig, J
    Wong-Toi, H
    PROCEEDINGS OF THE 2000 AMERICAN CONTROL CONFERENCE, VOLS 1-6, 2000, : 1674 - 1678
  • [27] State structures for verification and real-time control of hybrid automata
    OYoung, S
    Raisch, J
    1997 CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING, CONFERENCE PROCEEDINGS, VOLS I AND II: ENGINEERING INNOVATION: VOYAGE OF DISCOVERY, 1997, : 395 - 398
  • [28] ON A CLASS OF TIMER HYBRID SYSTEMS REDUCIBLE TO FINITE-STATE AUTOMATA
    INAN, K
    DISCRETE EVENT DYNAMIC SYSTEMS-THEORY AND APPLICATIONS, 1995, 5 (01): : 83 - 96
  • [29] A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata
    Ro, Jin Woo
    Malik, Avinash
    Roop, Partha
    17TH ACM-IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), 2019,
  • [30] (Hybrid) automata and (stochastic) programsThe hybrid automata lattice of a stochastic program
    Bortolussi, Luca
    Policriti, Alberto
    JOURNAL OF LOGIC AND COMPUTATION, 2013, 23 (04) : 761 - 798
12345