Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

DOI10.1016/J.NAHS.2011.07.002MaRDI QIDQ665122zbMATH OpenOpenAlexFDO

Authors Aydın Aybar, Altuğ İftar

Publication date 5 March 2012

Published in Nonlinear Analysis. Hybrid Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.nahs.2011.07.002

zbMATH Keywords

boundednesslivenessreversibilitysupervisory controller designtimed Petri nets

Mathematics Subject Classification ID

Hierarchical systems (93A13) Discrete event control/observation systems (93C65)

Recommendations

• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• scientific article; zbMATH DE number 1816769
• Supervisory controller design for timed-place Petri nets
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Petri net supervisors for DES with uncontrollable and unobservable transitions

Cites work

• A brief survey and synthesis of the roles of time in Petri nets.
• A supervisory control method for ensuring the conformance of real-time discrete event systems
• A theory of timed automata
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• Design of T-liveness enforcing supervisors in petri nets
• scientific article; zbMATH DE number 1228291 (Why is no real title available?)
• scientific article; zbMATH DE number 1301618 (Why is no real title available?)
• scientific article; zbMATH DE number 1383199 (Why is no real title available?)
• scientific article; zbMATH DE number 777433 (Why is no real title available?)
• Observer-Based State-Feedback Control of Timed Petri Nets With Deadlock Recovery
• On the existence of supervisory policies that enforce liveness in discrete-event dynamic systems modeled by controlled Petri nets
• Supervisory control of timed discrete-event systems
• Supervisory control of timed discrete-event systems under partial observation

Cited in

(3)

• Supervisory controller design for timed-place Petri nets
• Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets
• Liveness enforcement for production systems modeled by time Petri nets

Describes a project that uses

Uses Software

• UMDES

This page was built for publication: Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q665122)