Hierarchical State Machines as Modular Horn Clauses

Electronic Proceedings in Theoretical Computer Science ◽

10.4204/eptcs.219.2 ◽

2016 ◽

Vol 219 ◽

pp. 15-28

Author(s):

Pierre-Loïc Garoche ◽

Temesghen Kahsai ◽

Xavier Thirioux

Keyword(s):

State Machines ◽

Horn Clauses ◽

Hierarchical State Machines

Download Full-text

Hierarchical State Machines

The Firmware Handbook ◽

10.1016/b978-075067606-9/50012-6 ◽

2004 ◽

pp. 111-119 ◽

Author(s):

Sandeep Ahluwalia

Keyword(s):

State Machines ◽

Hierarchical State Machines

Download Full-text

Using Java Enums to Implement Concurrent-Hierarchical State Machines

Journal of Software Engineering ◽

10.3923/jse.2010.215.230 ◽

2010 ◽

Vol 4 (3) ◽

pp. 215-230 ◽

Author(s):

Jauhar Ali

Keyword(s):

State Machines ◽

Hierarchical State Machines

Download Full-text

Verification of parameterized hierarchical state machines using action language verifier

Proceedings. Second ACM and IEEE International Conference on Formal Methods and Models for Co-Design, 2005. MEMOCODE '05. ◽

10.1109/memcod.2005.1487897 ◽

2005 ◽

Author(s):

T. Yavuz-Kahveci ◽

T. Bultan

Keyword(s):

State Machines ◽

Action Language ◽

Hierarchical State Machines

Download Full-text

Control of discrete event systems modeled as hierarchical state machines

[1991] Proceedings of the 30th IEEE Conference on Decision and Control ◽

10.1109/cdc.1991.261652 ◽

2002 ◽

Author(s):

Y. Brave ◽

M. Heymann

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Control of discrete event systems modeled as hierarchical state machines

IEEE Transactions on Automatic Control ◽

10.1109/9.250558 ◽

1993 ◽

Vol 38 (12) ◽

pp. 1803-1819 ◽

Author(s):

Y. Brave

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Model checking of hierarchical state machines

ACM SIGSOFT Software Engineering Notes ◽

10.1145/291252.288305 ◽

1998 ◽

Vol 23 (6) ◽

pp. 175-188 ◽

Author(s):

Rajeev Alur ◽

Mihalis Yannakakis

Keyword(s):

Model Checking ◽

State Machines ◽

Hierarchical State Machines

Download Full-text

CSCB Tools: Tool for Supporting Synthesizing Hierarchical State Machines from Two Scenarios

2018 IEEE International Conference on Systems, Man, and Cybernetics (SMC) ◽

10.1109/smc.2018.00277 ◽

2018 ◽

Author(s):

Toshiyuki Miyamoto

Keyword(s):

State Machines ◽

Hierarchical State Machines

Download Full-text

Reachability in discrete event systems modeled as hierarchical state machines

17th Convention of Electrical and Electronics Engineers in Israel ◽

10.1109/eeis.1991.217705 ◽

2002 ◽

Author(s):

Y. Brave ◽

M. Heymann

Keyword(s):

Discrete Event Systems ◽

Discrete Event ◽

State Machines ◽

Event Systems ◽

Hierarchical State Machines

Download Full-text

Real-Time Systems Development Using Hierarchical State Machines

Lecture Notes in Computer Science - Modular Programming Languages ◽

10.1007/978-3-540-45213-3_16 ◽

2003 ◽

pp. 110-121 ◽

Author(s):

Angelo Furfaro ◽

Libero Nigro ◽

Francesco Pupo

Keyword(s):

Real Time ◽

Systems Development ◽

State Machines ◽

Real Time Systems ◽

Hierarchical State Machines ◽

Download Full-text

Formal Analysis of Hierarchical State Machines

Lecture Notes in Computer Science - Verification: Theory and Practice ◽

10.1007/978-3-540-39910-0_3 ◽

2003 ◽

pp. 42-66 ◽

Author(s):

Rajeev Alur

Keyword(s):

Formal Analysis ◽

State Machines ◽

Hierarchical State Machines

Download Full-text