State feedback and modular control synthesis in controlled Petri nets

Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction of a predicate and show that it is the necessary and sufficient condition for the uniqueness of the maximally permissive feedback. Modular c...

Full description

Saved in:
Bibliographic Details
Published inProceedings of the 27th IEEE Conference on Decision and Control pp. 1502 - 1507 vol.2
Main Authors Ushio, T., Matsumoto, R.
Format Conference Proceeding
LanguageEnglish
Japanese
Published IEEE 06.01.2003
Subjects
Automatic control
Control system synthesis
Controllability
Discrete event systems
Flexible manufacturing systems
Parallel processing
Petri nets
State feedback
Sufficient conditions
Systems engineering and theory
Online AccessGet full text
DOI10.1109/CDC.1988.194577

Cover

Abstract Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction of a predicate and show that it is the necessary and sufficient condition for the uniqueness of the maximally permissive feedback. Modular control synthesis problems are represented by conjunction and/or disjunction predicates. It is also shown that the maximally permissive feedback for conjunction of component predicates exists uniquely if each predicate is weakly interactive.< >
AbstractList Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction of a predicate and show that it is the necessary and sufficient condition for the uniqueness of the maximally permissive feedback. Modular control synthesis problems are represented by conjunction and/or disjunction predicates. It is also shown that the maximally permissive feedback for conjunction of component predicates exists uniquely if each predicate is weakly interactive.< >
Author Ushio, T.
Matsumoto, R.
Author_xml – sequence: 1
  givenname: T.
  surname: Ushio
  fullname: Ushio, T.
  organization: Dept. of Syst. Eng., Kobe Univ., Japan
– sequence: 2
  givenname: R.
  surname: Matsumoto
  fullname: Matsumoto, R.
  organization: Dept. of Syst. Eng., Kobe Univ., Japan
BookMark eNo1j01LAzEURbPQhVbXBVf5A1OTeRmTLGWsH1BQaPflJXnB4DQjSVz031uo3sU9cBcH7jW7yHMmxpZSrKQU9n58GlfSGnMqNWh9xdbbho14JAoO_RfHHPhhDj8TFu7n3Mo88XrM7ZNqqjzl_3GiwD-olcQztXrDLiNOlW7_uGC75_VufO027y9v4-OmS1Iq1fXaCelD0NogCOe8AnjwvbVCU8SoEPsYTvEW0COQcIOnwaCNBhxIWLC7szYR0f67pAOW4_58BX4BNXBGFA
ContentType Conference Proceeding
DBID 6IE
6IL
CBEJK
RIE
RIL
DOI 10.1109/CDC.1988.194577
DatabaseName IEEE Electronic Library (IEL) Conference Proceedings
IEEE Proceedings Order Plan All Online (POP All Online) 1998-present by volume
IEEE Xplore All Conference Proceedings
IEEE Electronic Library (IEL)
IEEE Proceedings Order Plans (POP All) 1998-Present
DatabaseTitleList
Database_xml – sequence: 1
  dbid: RIE
  name: IEEE/IET Electronic Library
  url: https://proxy.k.utb.cz/login?url=https://ieeexplore.ieee.org/
  sourceTypes: Publisher
DeliveryMethod fulltext_linktorsrc
EndPage 1507 vol.2
ExternalDocumentID 194577
GroupedDBID 6IE
6IL
CBEJK
RIE
RIL
ID FETCH-LOGICAL-i1144-27b01cdd778a30bbc4336c29907efaf4aa2fddddc93aca3e0b5ce58a9f83b313
IEDL.DBID RIE
IngestDate Thu Jun 29 18:10:53 EDT 2023
IsPeerReviewed false
IsScholarly false
Language English
Japanese
LinkModel DirectLink
MergedId FETCHMERGED-LOGICAL-i1144-27b01cdd778a30bbc4336c29907efaf4aa2fddddc93aca3e0b5ce58a9f83b313
ParticipantIDs ieee_primary_194577
PublicationCentury 2000
PublicationDate 2003-01-06
PublicationDateYYYYMMDD 2003-01-06
PublicationDate_xml – month: 01
  year: 2003
  text: 2003-01-06
  day: 06
PublicationDecade 2000
PublicationTitle Proceedings of the 27th IEEE Conference on Decision and Control
PublicationTitleAbbrev CDC
PublicationYear 2003
Publisher IEEE
Publisher_xml – name: IEEE
Score 1.310676
Snippet Petri nets are useful models for discrete-event systems, and can be used in the synthesis of control. The authors introduce the concept of the weak interaction...
SourceID ieee
SourceType Publisher
StartPage 1502
SubjectTerms Automatic control
Control system synthesis
Controllability
Discrete event systems
Flexible manufacturing systems
Parallel processing
Petri nets
State feedback
Sufficient conditions
Systems engineering and theory
Title State feedback and modular control synthesis in controlled Petri nets
URI https://ieeexplore.ieee.org/document/194577
hasFullText 1
inHoldings 1
isFullTextHit
isPrint
link http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV07T8MwELZoJyZeRbzlgTVpUiexPZdWFRKIoUjdqrN9lqqCi0g6wK_HdgIIxMBmnzz4Jd2d_X3fEXJdIVhjAnpKaJUUVgbJW5S-G8JnxrhWgSh8d1_NHovbRbnodLYjFwYRI_gM09CMf_lmo7fhqWzoE-6S8x7p-VvWUrU6sZ48k8PxzTj1GbRI21E_qqVEZzHda1nYddQYDBiRdbptVKrffykw_nMe-2TwzcqjD1_-5oDsoDsikxgtUuuNCvSagjP0eWMCuJR2MHRavzkf5tWrmq7cp_EJDY3VtKjDph6Q-XQyH8-SrjRCsvIJTJGMuMpybQznAlimlC4Yq3RwLRwt2AJg5I_AGC0ZaGCYqVJjKUBawRTL2THpu43DE0K1hIwJGIEfWihbCm2sySXGVE9ae0oOwwYsX1rxi2W79rM_redkN2LdwgtFdUH6zesWL73PbtRVPK0PRn-buA
linkProvider IEEE
linkToHtml http://utb.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwjV09T8MwELWgDDDxVcQ3HliTJrUT23NpVaCtGIrUrfLHWaoKKSLpAL8e2wkgEAObc_IQ28O7s997h9B1DtIa49lTXKuIWuEtb0G4T58-E8K08kLh8SQfPtK7WTZrfLaDFgYAAvkMYj8Mb_lmpdf-qqzjCu6MsU205WCfZrVYq7HrSRPR6d30YldD87ie96NfSoCLwW6twy6Dy6BniSzjdaVi_f7Lg_Gff7KH2t-6PPzwhTj7aAOKQ9QP-SK2LqikXmJZGPy8Mp5eihsiOi7fCpfolYsSL4rP4BMYHPpp4QKqso2mg_60N4ya5gjRwpUwNOoylaTaGMa4JIlSmhKSaw8uDKy0VMquOwRjtCBSSwKJyjRkXArLiSIpOUKtYlXAMcJayIRw2ZVuKlU249pYkwoIxZ6w9gQd-A2Yv9T2F_N67ad_Rq_Q9nA6Hs1Ht5P7M7QTmG_-viI_R63qdQ0XDsErdRlO7gObcJ8F
openUrl ctx_ver=Z39.88-2004&ctx_enc=info%3Aofi%2Fenc%3AUTF-8&rfr_id=info%3Asid%2Fsummon.serialssolutions.com&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Abook&rft.genre=proceeding&rft.title=Proceedings+of+the+27th+IEEE+Conference+on+Decision+and+Control&rft.atitle=State+feedback+and+modular+control+synthesis+in+controlled+Petri+nets&rft.au=Ushio%2C+T.&rft.au=Matsumoto%2C+R.&rft.date=2003-01-06&rft.pub=IEEE&rft.spage=1502&rft.epage=1507+vol.2&rft_id=info:doi/10.1109%2FCDC.1988.194577&rft.externalDocID=194577