Discrete-event controller synthesis based on state space models

Jiliang Luo, Qi Zhao, Yi Sheng Huang, Mengchu Zhou

Research output: Chapter in Book/Report/Conference proceedingConference contribution

1 Scopus citations

Abstract

Given partially-controllable and partially-observable discrete-event systems, an approach is proposed to model their control system and to design a controller. Via the Petri-net tool, two state-space models are obtained for them based on state-feedback and event-feedback, respectively. According to the former, the maximally-permissive controller is designed when a plant to be controlled is observable and partially-controllable. According to the latter, the maximally-permissive controller is designed when a plant is partially observable. An example is used to illustrate the theoretic results.

Original languageEnglish (US)
Title of host publication2015 IEEE Conference on Automation Science and Engineering
Subtitle of host publicationAutomation for a Sustainable Future, CASE 2015
PublisherIEEE Computer Society
Pages87-92
Number of pages6
ISBN (Electronic)9781467381833
DOIs
StatePublished - Oct 7 2015
Event11th IEEE International Conference on Automation Science and Engineering, CASE 2015 - Gothenburg, Sweden
Duration: Aug 24 2015Aug 28 2015

Publication series

NameIEEE International Conference on Automation Science and Engineering
Volume2015-October
ISSN (Print)2161-8070
ISSN (Electronic)2161-8089

Other

Other11th IEEE International Conference on Automation Science and Engineering, CASE 2015
CountrySweden
CityGothenburg
Period8/24/158/28/15

All Science Journal Classification (ASJC) codes

  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Keywords

  • Petri nets
  • forbidden states
  • generalized mutual exclusion constraints
  • linear-constraints

Fingerprint Dive into the research topics of 'Discrete-event controller synthesis based on state space models'. Together they form a unique fingerprint.

Cite this