Compositional State Space Generation with Partial Order Reductions for Asynchronous Communicating Systems

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/3-540-46419-0_19 ◽

2000 ◽

pp. 266-282 ◽

Author(s):

Jean-Pierre Krimm ◽

Laurent Mounier

Keyword(s):

State Space ◽

Partial Order ◽

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 ◽

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 ◽

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 ◽

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 ◽

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):

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 ◽

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 ◽

Author(s):

Yaroslav S. Usenko

Keyword(s):

State Space ◽

Leader Election ◽

State Space Generation

Download Full-text

Supporting domain-specific state space reductions through local partial-order reduction

2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) ◽

10.1109/ase.2011.6100044 ◽

2011 ◽

Author(s):

Peter Bokor ◽

Johannes Kinder ◽

Marco Serafini ◽

Neeraj Suri

Keyword(s):

State Space ◽

Partial Order ◽

Order Reduction ◽

Partial Order Reduction ◽

Domain Specific

Download Full-text