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

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

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

On the Diagnosability of a Class of Hierarchical State Machines

Fault Detection, Supervision and Safety of Technical Processes 2006 ◽

10.1016/b978-008044485-7/50216-5 ◽

2007 ◽

pp. 1282-1287 ◽

Author(s):

Andrea Paoli ◽

Stéphane Lafortune

Keyword(s):

State Machines ◽

Hierarchical State Machines

Download Full-text