Metadata Search Funding Data Link References Status API Help
Facet browsing currently unavailable
Page 1 of 16689 results
Sort by: relevance publication year

Decentralized supervisory controller design to avoid deadlock in Petri nets

JOURNAL ARTICLE published January 2003 in International Journal of Control

Authors: Aydin Aybar | Altuğ İftar

Corrections to 'Decentralized supervisory controller design to avoid deadlock in Petri nets'

JOURNAL ARTICLE published January 2003 in International Journal of Control

Authors: Aydin Aybar | Altuğ İftar

Decentralized controller design to enforce boundedness, liveness, and reversibility in Petri nets

PROCEEDINGS ARTICLE published September 2003 in 2003 European Control Conference (ECC)

Authors: Aydin Aybar | Altug Iftar

Supervisory Controller Design for Timed Petri Nets

PROCEEDINGS ARTICLE published in 2006 IEEE/SMC International Conference on System of Systems Engineering

Authors: A. Aybar | A. Iftar

Centralized and decentralized supervisory controller design to enforce boundedness, liveness, and reversibility in Petri nets

JOURNAL ARTICLE published 20 May 2005 in International Journal of Control

Authors: Aydin Aybar | Altuğ İftar * | Hanife Apaydin-Özkan

Deadlock Avoidance Controller Design for Timed Petri Nets Using Stretching

JOURNAL ARTICLE published June 2008 in IEEE Systems Journal

Authors: Aydin Aybar | Altug Iftar

Supervisory Controller Design to Enforce Some Basic Properties in Timed Petri Nets

JOURNAL ARTICLE published 2009 in IFAC Proceedings Volumes

Authors: Aydın Aybar | Altuğ Iftar

Supervisory Controller Design to Enforce Basic Properties in Timed-Place Petri Nets

JOURNAL ARTICLE published September 2013 in IFAC Proceedings Volumes

Authors: Aydın Aybar | Altug İftar

Supervisory Control of Discrete-event Systems Modeled by Timed-arc Petri Nets

PROCEEDINGS ARTICLE published May 2020 in 2020 European Control Conference (ECC)

Authors: Aydin Aybar | Altug Iftar

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

JOURNAL ARTICLE published February 2012 in Nonlinear Analysis: Hybrid Systems

Authors: Aydın Aybar | Altuğ İftar

Controller Design to Enforce Boundedness, Liveness, and Reversibility in Petri Nets 1

JOURNAL ARTICLE published April 2003 in IFAC Proceedings Volumes

Authors: Aydin Aybar | Altuğ İftar

Supervisory controller optimization for deadlock resolution in automated manufacturing systems with timed Petri nets

PROCEEDINGS ARTICLE published March 2009 in 2009 International Conference on Networking, Sensing and Control

Authors: MengChu Zhou

Deadlock and Liveness Properties of Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Decentralized Supervision of Petri Nets

BOOK CHAPTER published in Supervisory Control of Concurrent Systems

Petri nets supervisory control for deadlock prevention and avoidance

PROCEEDINGS ARTICLE published in Proceedings of IEEE International Conference on Systems, Man and Cybernetics

Authors: S. Ierovante

Supervisory Control of Petri Nets with Decentralized Monitor Places

PROCEEDINGS ARTICLE published July 2007 in 2007 American Control Conference

Authors: Francesco Basile | Alessandro Giua | Carla Seatzu

Supervisory Controller Design to Enforce Boundedness, Reversibility and Liveness in Systems Modeled by Timed Petri Nets

JOURNAL ARTICLE published 16 October 2023 in WSEAS TRANSACTIONS ON SYSTEMS

Authors: Altug Iftar

Resource Management and Deadlock Avoidance

BOOK CHAPTER published 1998 in Supervisory Control of Discrete Event Systems Using Petri Nets

Authors: John O. Moody | Panos J. Antsaklis

Deadlock characterization for Petri nets control using GMEC's and observers

PROCEEDINGS ARTICLE published in Proceedings of the 2003 American Control Conference, 2003.

Authors: A. Giua | C. Seatzu

Admissible decentralized control of Petri nets

PROCEEDINGS ARTICLE published in Proceedings of the 2003 American Control Conference, 2003.

Authors: M.V. Iordache | P.J. Antsaklis