Exploiting interleaving semantics in symbolic state-space generation

Gianfranco Ciardo; Gerald Lüttgen; Andrew S. Miner

doi:10.1007/s10703-006-0033-y

Exploiting interleaving semantics in symbolic state-space generation

Formal Methods in System Design ◽

10.1007/s10703-006-0033-y ◽

2007 ◽

Vol 31 (1) ◽

pp. 63-100 ◽

Cited By ~ 18

Author(s):

Gianfranco Ciardo ◽

Gerald Lüttgen ◽

Andrew S. Miner

Keyword(s):

State Space ◽

Interleaving Semantics ◽

State Space Generation

Download Full-text

State space generation for degradable multiprocessor systems

[1991] Digest of Papers. Fault-Tolerant Computing: The Twenty-First International Symposium ◽

10.1109/ftcs.1991.146678 ◽

2002 ◽

Cited By ~ 8

Author(s):

B.E. Aupperle ◽

J.F. Meyer

Keyword(s):

State Space ◽

Multiprocessor Systems ◽

State Space Generation

Download Full-text

Reliability modeling of structured systems: exploring symmetry in state-space generation

Proceedings Pacific Rim International Symposium on Fault-Tolerant Systems ◽

10.1109/prfts.1997.640129 ◽

2002 ◽

Cited By ~ 4

Author(s):

A.K. Somani

Keyword(s):

State Space ◽

Reliability Modeling ◽

Structured Systems ◽

State Space Generation

Download Full-text

Performance Evaluation of Flexible Manufacturing Systems by Coloured Timed Petri Nets and Timed State Space Generation

Industrial Information Technology - Formal Methods in Manufacturing ◽

10.1201/b16529-17 ◽

2014 ◽

pp. 381-408

Author(s):

Gasper Mušič ◽

Liana Napalkova ◽

Miguel Piera

Keyword(s):

Performance Evaluation ◽

Petri Nets ◽

State Space ◽

Flexible Manufacturing ◽

Flexible Manufacturing Systems ◽

Manufacturing Systems ◽

Timed Petri Nets ◽

State Space Generation

Download Full-text

Parallel State Space Generation and Exploration on Shared-Memory Architectures

Lecture Notes in Computer Science - Computer Aided Systems Theory – EUROCAST 2005 ◽

10.1007/11556985_37 ◽

2005 ◽

pp. 275-280

Author(s):

Milan Češka ◽

Bohuslav Křena ◽

Tomáš Vojnar

Keyword(s):

State Space ◽

Shared Memory ◽

State Space Generation ◽

Memory Architectures ◽

Shared Memory Architectures

Download Full-text

Distributed State Space Generation of Discrete-State Stochastic Models

INFORMS Journal on Computing ◽

10.1287/ijoc.10.1.82 ◽

1998 ◽

Vol 10 (1) ◽

pp. 82-93 ◽

Cited By ~ 45

Author(s):

Gianfranco Ciardo ◽

Joshua Gluckman ◽

David Nicol

Keyword(s):

State Space ◽

Stochastic Models ◽

Discrete State ◽

State Space Generation

Download Full-text

Online state space generation by a growing self-organizing map and differential learning for reinforcement learning

Applied Soft Computing ◽

10.1016/j.asoc.2020.106723 ◽

2020 ◽

Vol 97 ◽

pp. 106723

Author(s):

Akira Notsu ◽

Koji Yasuda ◽

Seiki Ubukata ◽

Katsuhiro Honda

Keyword(s):

Reinforcement Learning ◽

State Space ◽

Self Organizing Map ◽

Differential Learning ◽

State Space Generation ◽

Self Organizing

Download Full-text

Modeling and analysis of distributed state space generation for timed Petri nets

Proceedings. 34th Annual Simulation Symposium ◽

10.1109/simsym.2001.922120 ◽

2002 ◽

Author(s):

W.M. Zuberek ◽

I. Rada

Keyword(s):

Petri Nets ◽

State Space ◽

Timed Petri Nets ◽

Modeling And Analysis ◽

State Space Generation

Download Full-text

Reachable State Space Generation for Structured Models which Use Functional Transitions

2009 Sixth International Conference on the Quantitative Evaluation of Systems ◽

10.1109/qest.2009.29 ◽

2009 ◽

Cited By ~ 4

Author(s):

Afonso Sales ◽

Brigitte Plateau

Keyword(s):

State Space ◽

Reachable State ◽

State Space Generation

Download Full-text

State space generation for the HAVi leader election protocol

Science of Computer Programming ◽

10.1016/s0167-6423(01)00018-1 ◽

2002 ◽

Vol 43 (1) ◽

pp. 1-33 ◽

Cited By ~ 2

Author(s):

Yaroslav S. Usenko

Keyword(s):

State Space ◽

Leader Election ◽

State Space Generation

Download Full-text

Efficient state space generation of GSPNs using decision diagrams

Proceedings International Conference on Dependable Systems and Networks ◽

10.1109/dsn.2002.1029009 ◽

2003 ◽

Cited By ~ 5

Author(s):

A.S. Miner

Keyword(s):

State Space ◽

Decision Diagrams ◽

State Space Generation

Download Full-text