3,448 Hits in 5.6 sec

Applications of Petri Nets to Human-in-the-Loop Control for Discrete Automation Systems [chapter]

Jin-Shyan Lee, Pau-Lo Hsu
2006 Manufacturing the Future  
The supervisor is systematically synthesized to enforce the requirements.  ...  Spec-2: Deadlock-free operations: No deadlock states occur throughout system operation. In the specification models, Spec-1.1 to Spec-1.5 are enforced by using the mutual exclusion concept.  ...  InTech Europe The primary goal of this book is to cover the state-of-the-art development and future directions in modern manufacturing systems.  ... 
doi:10.5772/5049 fatcat:kzctqysrwfem7nzgczrz2zrube

Implementation of a Remote Hierarchical Supervision System Using Petri Nets and Agent Technology

Jin-Shyan Lee, Pau-Lo Hsu
2007 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
For remote control systems, certain human operations may violate desired requirements and result in catastrophic failure.  ...  Implementation results show that by applying the presented hierarchical scheme, the supervisor has a more compact model with fewer states.  ...  In mutual exclusion theory, parallel mutual exclusion consists of a place marked initially with one token to model a single shared resource, and a set of pairs of transitions.  ... 
doi:10.1109/tsmcc.2006.876056 fatcat:ykscf66r7zejpdhntmj2s53kea

Petri net supervisors for DES with uncontrollable and unobservable transitions

J.O. Moody, P.J. Antsaklis
2000 IEEE Transactions on Automatic Control  
A supervisor synthesis technique for Petri net plants with uncontrollable and unobservable transitions that enforces the conjunction of a set of linear inequalities on the reachable markings of the plant  ...  The method is practical and computationally inexpensive in terms of size, design time, and implementation complexity.  ...  A major goal in the field of DES control is the synthesis of supervisors under conditions where certain state-to-state transitions cannot be prevented by any action from the supervisor, i.e., conditions  ... 
doi:10.1109/9.847725 fatcat:a6sq3vcvjjhy5l5whbfpd3afq4

DCSYNTH: Guided Reactive Synthesis with Soft Requirements [article]

Amol Wakankar, Paritosh K. Pandya, Rajmohan Matteplackel
2019 arXiv   pre-print
Case studies are carried out to demonstrate the effectiveness of the soft requirement guided synthesis in obtaining high-quality controllers.  ...  In this paper, We propose a technique for guided controller synthesis from regular requirements which are specified using an interval temporal logic QDDC.  ...  GODSC synthesis with only 1 iteration: Enumeration vs Symbolic method. For A sof t , its number of states and time (in sec) to compute it from soft requirement formulae are given.  ... 
arXiv:1903.03991v3 fatcat:rsdqc6js3faehngtxi3i35keqi

Guest Editorial: Special Section on Advances in Discrete-Event Systems for Automation

Christos G. CASSANDRAS, Maria Pia FANTI, Christoforos HADJICOSTIS, Spyros REVELIOTIS, Carla SEATZU
2014 IEEE Transactions on Automation Science and Engineering  
The selected papers present efficient scientific and engineering solutions to a series of problems related to DES, including their supervisory control, fault diagnosis, resource allocation, state estimation  ...  A more detailed description of the research activity that is currently taking place within the DES-focused research community, can be epitomized as follows: 1) As mentioned above, a major requirement for  ...  Finally, focusing on the DES liveness problem, Hu and Liu consider a Petri net framework to synthesize liveness enforcing supervisors based on generalized mutual exclusion constraints.  ... 
doi:10.1109/tase.2013.2293003 fatcat:rountveeqzd2zna2wjw7strg3e

Reduced-order synthesis of operation sequences

Mohammad Reza Shoaei, Sajed Miremadi, Kristofer Bengtsson, Bengt Lennartson
2011 ETFA2011  
The synthesis of such supervisors soon becomes unmanageable for industrial manufacturing systems, due to state space explosion.  ...  The number of states in the synthesis procedure and the computation time is reduced dramatically by the suggested reduction principle.  ...  To avoid collisions in these mutual exclusion zones, 234 guards are automatically added to the operation models in Sequence Planner.  ... 
doi:10.1109/etfa.2011.6059025 dblp:conf/etfa/ShoaeiMBL11 fatcat:esnhbq7h5rgidp4jiboxpptcm4

Supremica–An Efficient Tool for Large-Scale Discrete Event Systems

Robi Malik, Knut Åkesson, Hugo Flordal, Martin Fabian
2017 IFAC-PapersOnLine  
The modelling framework in Supremica is based on finite-state machines extended with variables, guard conditions, and action functions.  ...  In order to handle large-scale problems of industrially interesting size, Supremica uses advanced model checking techniques such as symbolic representations and compositional abstraction.  ...  Using 3D-simulation models of the robots, it is possible to automatically extract finite-state models of the tasks and of the mutual exclusion zones where only a single robot is allowed to be at a time  ... 
doi:10.1016/j.ifacol.2017.08.427 fatcat:twmdxexovbfptbffw7oe6ic27m

Computational Issues in Intelligent Control: Discrete-Event and Hybrid Systems [chapter]

2000 Soft Computing and Intelligent Systems  
In particular, we discuss how the design, simulation, and verification of discrete-event and hybrid systems, which are central in intelligent control, requires the development of computationally efficient  ...  Computational issues of various problems and algorithms concerning the analysis and synthesis of such systems are discussed.  ...  First, it makes possible to efficiently design the supervisor that satisfy specifications that frequently appear in complex systems such as generalized mutual exclusion constraints.  ... 
doi:10.1016/b978-012646490-0/50006-8 fatcat:tpqu57oywrhwtfcrvohzhr3trq

A Petri-Net Approach to Modular Supervision With Conflict Resolution for Semiconductor Manufacturing Systems

Jin Shyan Lee, MengChu Zhou, Pau Lo Hsu
2007 IEEE Transactions on Automation Science and Engineering  
Moreover, a modular technique with an intersection mechanism is proposed in order to cope with the state-space explosion problem of large-scale systems.  ...  In such human-in-the-loop and large-scale systems, certain human operations may violate desired safety requirements and result in catastrophic failure.  ...  Synthesis of Modular Supervisors The following safety specifications must be enforced throughout system operation.  ... 
doi:10.1109/tase.2007.905995 fatcat:rvgli73hafeq7aweldbqyxhvwq

Supervision Based on Place Invariants: A Survey

M. V. Iordache, P. J. Antsaklis
2006 Discrete event dynamic systems  
The supervision based on place invariants (SBPI) is an efficient technique for the supervisory control of Petri nets.  ...  In the SBPI, the specification is described as a system of inequalities that the Petri net marking must satisfy at any time.  ...  Given the subsets of states Q i ⊂ Q i , a mutual exclusion specification requires less than k components to have their states q i in Q i at the same time.  ... 
doi:10.1007/s10626-006-0021-9 fatcat:vfgfj7df4zgs3ca6cvoargrvja

Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places

Francesco Basile, Pasquale Chiacchio, Alessandro Giua
2006 Automatica  
An efficient control synthesis technique, which has been proposed in the literature, enforces GMEC constraints by introducing monitor places to create suitable place invariants.  ...  This paper deals with the problem of enforcing generalized mutual exclusion constraints (GMEC) on place/transition nets with uncontrollable transitions.  ...  Of particular interest are those PN state-based control problems where the set of legal markings L is expressed by a set of n c linear inequality constraints called generalized mutual exclusion constraint  ... 
doi:10.1016/j.automatica.2006.02.003 fatcat:woldocflird2fbqh7edmyu3xge

Runtime Enforcement of Programmable Logic Controllers [article]

Ruggero Lanotte, Massimo Merro, Andrei Munteanu
2021 arXiv   pre-print
s edit automata to enforce controllers represented in Hennessy and Regan's Timed Process Language.  ...  We define a synthesis algorithm that, given an alphabet P of observable actions and a timed correctness property e, returns a monitor that enforces the property e during the execution of any (potentially  ...  ) may only occur in mutual exclusion.  ... 
arXiv:2105.10668v2 fatcat:m4mwkhoasfaadb624yyfnnckmu

Reactive Integrated Mission and Motion planning [article]

Alireza Partovi, Rafael Rodrigues da Silva, Hai Lin
2017 arXiv   pre-print
In the high-level layer, a mission planner constructs a symbolic two-player game between the robots and their environment to synthesis a strategy that adapts to changes in the workspace imposed by other  ...  Correct-by-construction manipulation planning in a dynamic environment, where other agents can manipulate objects in the workspace, is a challenging problem.  ...  Let the set of all mission states be M = {m 1 , . . . , m M }, where m i ∈ D V , and they are mutually exclusive ⋂ i∈ [1. . M ] m i = ∅.  ... 
arXiv:1711.02201v1 fatcat:rgjixgqptng5jena7d4yjlpi24

Supervisor Localization: A Top-Down Approach to Distributed Control of Discrete-Event Systems

K. Cai, W. M. Wonham, Lotfi Beji, Samir Otmane, Azgal Abichou
2009 AIP Conference Proceedings  
In the state-based setting, specifically that of 'state tree structures' (STS), a counterpart supervisor localization algorithm is developed having potential to exploit the known efficiency of STS for  ...  In the language-based setting, a supervisor localization algorithm is developed that solves the problem in a top-down fashion: first, compute a global supervisor, then decompose it into local controllers  ...  It is easy to see that the following is a valid supervisor SUP that satisfies the mutual exclusion requirement. These are nothing but the same as SUP.  ... 
doi:10.1063/1.3106490 fatcat:g7ipvn4y2fgoxe3k7jnkkbuuaa

Liveness Enforcing Supervision of Video Streaming Systems Using Nonsequential Petri Nets

HeSuan Hu, MengChu Zhou, ZhiWu Li
2009 IEEE transactions on multimedia  
At each iteration step, we produce a generalized mutual exclusion constraint which contains only markings for which liveness can be enforced.  ...  Examples are demonstrated in this paper to validate the effectiveness and efficiency of the proposed approach.  ...  Control of Siphons Using Algebraic Method This section is devoted to the synthesis of a liveness enforcing supervisor.  ... 
doi:10.1109/tmm.2009.2032678 fatcat:iw5aow774jaetko3ghcqcv3cfy
« Previous Showing results 1 — 15 out of 3,448 results