Sign Up to like & get
recommendations!
0
Published in 2019 at "Asian Journal of Control"
DOI: 10.1002/asjc.2037
Abstract: Preventing systems from entering to forbidden states is a crucial issue in discrete event systems control. Adding supervisors to the system is a common method to avoid entering to forbidden states. In discrete event systems…
read more here.
Keywords:
time;
discrete event;
event systems;
forbidden states ... See more keywords
Sign Up to like & get
recommendations!
1
Published in 2020 at "IEEE Transactions on Systems, Man, and Cybernetics: Systems"
DOI: 10.1109/tsmc.2018.2854158
Abstract: State space techniques are one of the main approaches deployed for the analysis of concurrent systems. However, state space construction is stalled by a common phenomenon called the state explosion problem which makes it a…
read more here.
Keywords:
modeled petri;
petri nets;
state space;
automated manufacturing ... See more keywords