Synthesis of Next State Feedback Control of Discrete Event Systems by Using Petri Net Unfoldings

Toshiyuki Miyamoto; Sadatoshi Kumagai

doi:10.11499/sicep.2004.0_14_4

SICE Annual Conference 2004

DOI https://doi.org/10.11499/sicep.2004.0_14_4

Conference information

Host: The Society of Instrument and Control Engineers

Co-host: The IEEE Industrial Electronics Society, The IEEE Robotics and Automation Society, The IEEE Control Systems Society, The IEEE Systems, Man and Cybernetics Society, The Instrumentation, Systems, and Automation Society

Synthesis of Next State Feedback Control of Discrete Event Systems by Using Petri Net Unfoldings

*Toshiyuki Miyamoto, Sadatoshi Kumagai

Author information

Keywords: Discrete Event System, State Feedback Contro, Petri net

CONFERENCE PROCEEDINGS FREE ACCESS

Pages 14

Details

Abstract

A method for synthesizing feedback control logic for live and safe marked graphs has been given by Holloway and Krogh. The method strongly depends on the structure of marked graphs, and thus it has not been extended to wider classes. Structural characteristics of unfoldings are similar to that of marked graphs. Transforming a Petri net to an unfolding allows us to apply the Holloway’s approach to general bounded Petri nets.

Corresponding author

Register with J-STAGE for free!