Discrete-event control of nondeterministic systems
Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann...
Saved in:
| Published in: | IEEE transactions on automatic control Vol. 43; no. 1; pp. 3 - 17 |
|---|---|
| Main Authors: | , |
| Format: | Journal Article |
| Language: | English |
| Published: |
New York, NY
IEEE
01.01.1998
Institute of Electrical and Electronics Engineers |
| Subjects: | |
| ISSN: | 0018-9286 |
| Online Access: | Get full text |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| Abstract | Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann et al. (1991). This formalism has been used in by Shayman et al. (1995) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications. |
|---|---|
| AbstractList | Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann et al. (1991). This formalism has been used in by Shayman et al. (1995) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications. Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate description of nondeterministic systems and nondeterministic phenomena, the trajectory-model formalism was introduced by Heymann (1991) and Heymann et al. (1991). This formalism has been used in by Shayman et al. (1995) for obtaining various results on supervisory control of nondeterministic systems subject to language specifications. In the present paper we develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications We develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further show how well-known algorithms for supervisory control (of deterministic systems) under partial observation can be adapted for synthesis of supervisors for nondeterministic systems subject to both language and trajectory-model specifications. (Author) |
| Author | Lin, F. Heymann, M. |
| Author_xml | – sequence: 1 givenname: M. surname: Heymann fullname: Heymann, M. organization: NASA Ames Res. Center, Moffett Field, CA, USA – sequence: 2 givenname: F. surname: Lin fullname: Lin, F. |
| BackLink | http://pascal-francis.inist.fr/vibad/index.php?action=getRecordDetail&idt=2136767$$DView record in Pascal Francis |
| BookMark | eNqN0U1LAzEQBuAcKthWwbOnPYh42Zpks7PJUeonFLzoOWTTCUT2oyap0H_vlq0eRNDTEOaZlyEzI5Ou75CQM0YXjFF1rRZQCimLCZlSymSuuIRjMovxbXiCEGxK-K2PNmDCHD-wS5ntuxT6JutdNoSth0Zofedj8jaLu5iwjSfkyJkm4umhzsnr_d3L8jFfPT88LW9WuS0AUi6oY1JIykzFUTELzq15VUlwVgGI0pRYWmoZLXnNaKFqJh0r69qoNVhXs2JOLsfcTejftxiTboddsWlMh_02ai4llAD0H5CDUFT8DSuhykrBAC8O0ERrGhdMZ33Um-BbE3aaswIqqAa2GJkNfYwBnbY-meT3f2h8oxnV-ztopcc7DANXPwa-In-h5yP1iPjNDs1P-4uScA |
| CODEN | IETAA9 |
| CitedBy_id | crossref_primary_10_1109_9_793788 crossref_primary_10_3724_SP_J_1004_2008_00460 crossref_primary_10_1109_TAC_2007_904470 crossref_primary_10_1587_transinf_E97_D_1140 crossref_primary_10_1016_j_scico_2014_07_002 crossref_primary_10_1016_j_ifacol_2018_06_270 crossref_primary_10_1007_s10626_023_00378_8 crossref_primary_10_1109_TASE_2007_909445 crossref_primary_10_1002_rnc_591 crossref_primary_10_1007_s10626_014_0201_y crossref_primary_10_1109_TASE_2006_891474 crossref_primary_10_1049_ip_cta_20041244 crossref_primary_10_1109_TAC_2022_3195152 crossref_primary_10_1109_TAC_2002_802768 crossref_primary_10_1109_9_895581 crossref_primary_10_1109_9_983368 crossref_primary_10_1109_TAC_2006_875036 crossref_primary_10_1109_TSMCB_2012_2206074 crossref_primary_10_1016_j_sysconle_2011_10_010 crossref_primary_10_1016_j_tcs_2012_05_037 crossref_primary_10_1016_j_scico_2013_11_016 crossref_primary_10_1049_ip_cta_20050372 crossref_primary_10_1109_5_871307 crossref_primary_10_1109_JAS_2021_1003964 crossref_primary_10_1109_TAC_2010_2046931 crossref_primary_10_1109_9_995044 crossref_primary_10_1007_s00236_018_0317_x crossref_primary_10_1016_j_ifacol_2020_12_2559 crossref_primary_10_1080_00207179_2020_1795269 crossref_primary_10_1177_0037549705052229 crossref_primary_10_1016_j_automatica_2019_06_022 crossref_primary_10_1016_j_sysconle_2011_02_001 crossref_primary_10_1109_TAC_2010_2089563 |
| Cites_doi | 10.1109/9.566659 10.1109/37.56284 10.1109/9.402 10.1109/9.182478 10.1007/BF01438708 10.1007/BFb0033532 10.1016/0020-0255(88)90002-3 10.1109/5.21072 10.1109/9.376081 10.1007/BF02551817 10.1007/BFb0033530 10.1109/CDC.1996.572970 10.1137/0325013 10.1109/CDC.1994.411719 10.1137/S0363012994272903 10.1109/CDC.1996.577492 10.1109/9.533677 10.1016/0167-6911(90)90004-E 10.1109/9.173140 10.1137/S0363012992239600 10.1016/0020-0255(88)90001-1 10.1109/9.61009 |
| ContentType | Journal Article |
| Copyright | 1998 INIST-CNRS |
| Copyright_xml | – notice: 1998 INIST-CNRS |
| DBID | RIA RIE AAYXX CITATION IQODW 8FD H8D L7M 7SC 7SP 7TB FR3 JQ2 L~C L~D |
| DOI | 10.1109/9.654883 |
| DatabaseName | IEEE All-Society Periodicals Package (ASPP) 1998–Present IEEE Electronic Library (IEL) CrossRef Pascal-Francis Technology Research Database Aerospace Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts Electronics & Communications Abstracts Mechanical & Transportation Engineering Abstracts Engineering Research Database ProQuest Computer Science Collection Computer and Information Systems Abstracts Academic Computer and Information Systems Abstracts Professional |
| DatabaseTitle | CrossRef Technology Research Database Aerospace Database Advanced Technologies Database with Aerospace Computer and Information Systems Abstracts – Academic Mechanical & Transportation Engineering Abstracts Electronics & Communications Abstracts ProQuest Computer Science Collection Computer and Information Systems Abstracts Engineering Research Database Computer and Information Systems Abstracts Professional |
| DatabaseTitleList | Technology Research Database Technology Research Database Technology Research Database |
| Database_xml | – sequence: 1 dbid: RIE name: IEEE Electronic Library (IEL) url: https://ieeexplore.ieee.org/ sourceTypes: Publisher |
| DeliveryMethod | fulltext_linktorsrc |
| Discipline | Engineering Law Applied Sciences |
| EndPage | 17 |
| ExternalDocumentID | 2136767 10_1109_9_654883 654883 |
| GroupedDBID | -~X .DC 0R~ 29I 3EH 4.4 5GY 5VS 6IK 97E AAJGR AARMG AASAJ AAWTH ABAZT ABQJQ ABVLG ACGFO ACGFS ACIWK ACNCT AENEX AETIX AGQYO AGSQL AHBIQ AI. AIBXA AKJIK AKQYR ALLEH ALMA_UNASSIGNED_HOLDINGS ASUFR ATWAV BEFXN BFFAM BGNUA BKEBE BPEOZ CS3 DU5 EBS EJD F5P HZ~ H~9 IAAWW IBMZZ ICLAB IDIHD IFIPE IFJZH IPLJI JAVBF LAI M43 MS~ O9- OCL P2P RIA RIE RNS TAE TN5 VH1 VJK ~02 AAYXX CITATION IQODW RIG 8FD H8D L7M 7SC 7SP 7TB FR3 JQ2 L~C L~D |
| ID | FETCH-LOGICAL-c366t-40f184801a72e91c6ffd27786fc96645a5e5c0c1052b1039b18f15bba9d6cfb13 |
| IEDL.DBID | RIE |
| ISICitedReferencesCount | 62 |
| ISICitedReferencesURI | http://www.webofscience.com/api/gateway?GWVersion=2&SrcApp=Summon&SrcAuth=ProQuest&DestLinkType=CitingArticles&DestApp=WOS_CPL&KeyUT=000071544400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| ISSN | 0018-9286 |
| IngestDate | Sun Sep 28 10:42:45 EDT 2025 Wed Oct 01 13:27:40 EDT 2025 Sun Sep 28 08:35:44 EDT 2025 Mon Jul 21 09:16:47 EDT 2025 Sat Nov 29 02:20:11 EST 2025 Tue Nov 18 19:52:47 EST 2025 Wed Aug 27 02:52:17 EDT 2025 |
| IsPeerReviewed | true |
| IsScholarly | true |
| Issue | 1 |
| Keywords | Supervisor Control Automaton Language Transmission channel Trajectory Algorithm Non determinism Message transmission Discrete event system |
| Language | English |
| License | https://ieeexplore.ieee.org/Xplorehelp/downloads/license-information/IEEE.html CC BY 4.0 |
| LinkModel | DirectLink |
| MergedId | FETCHMERGED-LOGICAL-c366t-40f184801a72e91c6ffd27786fc96645a5e5c0c1052b1039b18f15bba9d6cfb13 |
| Notes | ObjectType-Article-2 SourceType-Scholarly Journals-1 ObjectType-Feature-1 content type line 23 |
| PQID | 27495796 |
| PQPubID | 23500 |
| PageCount | 15 |
| ParticipantIDs | pascalfrancis_primary_2136767 proquest_miscellaneous_28865660 crossref_citationtrail_10_1109_9_654883 proquest_miscellaneous_27495796 crossref_primary_10_1109_9_654883 proquest_miscellaneous_28264904 ieee_primary_654883 |
| PublicationCentury | 1900 |
| PublicationDate | 1998-Jan. 1998-01-00 1998 19980101 |
| PublicationDateYYYYMMDD | 1998-01-01 |
| PublicationDate_xml | – month: 01 year: 1998 text: 1998-Jan. |
| PublicationDecade | 1990 |
| PublicationPlace | New York, NY |
| PublicationPlace_xml | – name: New York, NY |
| PublicationTitle | IEEE transactions on automatic control |
| PublicationTitleAbbrev | TAC |
| PublicationYear | 1998 |
| Publisher | IEEE Institute of Electrical and Electronics Engineers |
| Publisher_xml | – name: IEEE – name: Institute of Electrical and Electronics Engineers |
| References | ref13 ref15 heymann (ref9) 1996 ref14 ref11 hopcroft (ref12) 1979 ref2 ref1 ref17 ref19 ref18 heymann (ref7) 1991 ref24 ref23 ref26 ref25 ref20 ref22 ref21 ref27 heymann (ref10) 1995 ref8 ref4 ref3 ref6 ref5 lin (ref16) 1987 |
| References_xml | – ident: ref22 doi: 10.1109/9.566659 – ident: ref6 doi: 10.1109/37.56284 – ident: ref3 doi: 10.1109/9.402 – ident: ref2 doi: 10.1109/9.182478 – ident: ref8 doi: 10.1007/BF01438708 – ident: ref21 doi: 10.1007/BFb0033532 – ident: ref18 doi: 10.1016/0020-0255(88)90002-3 – ident: ref24 doi: 10.1109/5.21072 – start-page: 136 year: 1995 ident: ref10 article-title: on observability and nondeterminism in discrete event control publication-title: Proc 33rd Allerton Conf Communication Contr and Computing – year: 1987 ident: ref16 publication-title: On controllability and observability of discrete event systems – year: 1991 ident: ref7 publication-title: An algebra of discrete-event processes – ident: ref20 doi: 10.1109/9.376081 – ident: ref27 doi: 10.1007/BF02551817 – ident: ref13 doi: 10.1007/BFb0033530 – ident: ref5 doi: 10.1109/CDC.1996.572970 – ident: ref23 doi: 10.1137/0325013 – ident: ref4 doi: 10.1109/CDC.1994.411719 – ident: ref15 doi: 10.1137/S0363012994272903 – year: 1996 ident: ref9 publication-title: Nonblocking supervisory control of nondeterministic systems – ident: ref11 doi: 10.1109/CDC.1996.577492 – ident: ref14 doi: 10.1109/9.533677 – ident: ref1 doi: 10.1016/0167-6911(90)90004-E – ident: ref25 doi: 10.1109/9.173140 – year: 1979 ident: ref12 publication-title: Introduction to Automata Theory Languages and Computation – ident: ref26 doi: 10.1137/S0363012992239600 – ident: ref17 doi: 10.1016/0020-0255(88)90001-1 – ident: ref19 doi: 10.1109/9.61009 |
| SSID | ssj0016441 |
| Score | 1.8274302 |
| Snippet | Nondeterminism in discrete-event systems occurs in many practical situations and often as a result of partial observability of events. For the adequate... We develop a theory of supervisory control for nondeterministic discrete-event systems subject to both language and trajectory-model specifications. We further... |
| SourceID | proquest pascalfrancis crossref ieee |
| SourceType | Aggregation Database Index Database Enrichment Source Publisher |
| StartPage | 3 |
| SubjectTerms | Applied sciences Automata Automata. Logic controller Automatic control Computer science; control theory; systems Control system synthesis Control systems Control theory. Systems Discrete event systems Exact sciences and technology Law Legal factors Observability Sufficient conditions Supervisory control Systems, networks and services of telecommunications Telecommunications Telecommunications and information theory Transmission and modulation (techniques and equipments) |
| Title | Discrete-event control of nondeterministic systems |
| URI | https://ieeexplore.ieee.org/document/654883 https://www.proquest.com/docview/27495796 https://www.proquest.com/docview/28264904 https://www.proquest.com/docview/28865660 |
| Volume | 43 |
| WOSCitedRecordID | wos000071544400002&url=https%3A%2F%2Fcvtisr.summon.serialssolutions.com%2F%23%21%2Fsearch%3Fho%3Df%26include.ft.matches%3Dt%26l%3Dnull%26q%3D |
| hasFullText | 1 |
| inHoldings | 1 |
| isFullTextHit | |
| isPrint | |
| journalDatabaseRights | – providerCode: PRVIEE databaseName: IEEE Electronic Library (IEL) issn: 0018-9286 databaseCode: RIE dateStart: 19630101 customDbUrl: isFulltext: true dateEnd: 99991231 titleUrlDefault: https://ieeexplore.ieee.org/ omitProxy: false ssIdentifier: ssj0016441 providerName: IEEE |
| link | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV3dS8MwED_c8EEf_JiKU6cVBJ-69SNJk0dRhw8yfFDYW2nSBAayybrpv-8l6YrDIfhWmistd03ufrnL7wBuUmmiWBsZpoJkIYl5GUpEHqEgkhiqE8pZ6ZpNZKMRH4_FS82z7c7CaK1d8Znu20uXyy9namm3yga2xzlPW9DKMuaPajUJA-vW_aKL8zfhrOaZjSMxEH3_3Jrnca1UbCFkUaEujG9i8Ws9dk5muP-vzzuAvTqWDO688Q9hS087sPuDYbADrefi6wiShwmuDhgeh46vKajr04OZCRD9l3VFjKNsDjy1c3UMb8PH1_unsG6WEKqUsQXiQINgDf1NkSVaxIoZUyaWHM4oRDSEFlRTFSkMpxJp078y5iamUhaiZMrIOD2BNr5Sn0KgCoRB0lDbC4akXAlalpKwVCOMNmi8LtyuFJmrmkncNrR4zx2iiEQucq-LLlw3kh-ePWODTMeqshlf3e2tmaYZTjzHXBeuVqbKcULYLEcx1bNllSPMtqlH9ocEQioiIvKXBLdxbnS28dvOYcefTLQbMRfQXsyXugfb6nMxqeaX7r_8BpkL4Y8 |
| linkProvider | IEEE |
| linkToHtml | http://cvtisr.summon.serialssolutions.com/2.0.0/link/0/eLvHCXMwlV1LS8NAEB5sFdSDj6pYtTaC4CltHps0exS1VKzFQ4XeQnazCwVppWn17zv7aLBYCt5CdkLCTHZnvp3ZbwBuQyY9X0jmhpR0XOInucsQebiUMCIjEURJnOtmE53BIBmN6Jvl2dZnYYQQuvhMtNSlzuXnU75QW2Vt1eM8CSuwrRpn2cNaZcpAOXaz7OIMDpLYMs36Hm3TlnlyxffoZiqqFDIrUBvStLH4syJrN9M9_NcHHsGBjSade2P-Y9gSkxrs_-IYrEGln32fQPA4xvUBA2RXMzY5tkLdmUoH8X9ua2I0abNjyJ2LU3jvPg0feq5tl-DyMI7niAQlwjX0OFknENTnsZR5oOjhJEdMQ6IsEhH3OAZUAVMJYOYn0o8Yy2gec8n88Ayq-EpxDg7PEAgxGaluMCRMOI3ynJE4FAikJZqvDndLRabccomrlhYfqcYUHk1panRRh5tS8tPwZ6yRqSlVluPLu40V05TDgWGZq0NzaaoUp4TKc2QTMV0UKQJtlXyMN0ggqCLUI5skEhXpehdrv60Ju73haz_tPw9eLmHPnFNU2zJXUJ3PFqIBO_xrPi5m1_of_QF7zOTY |
| 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%3Ajournal&rft.genre=article&rft.atitle=Discrete-event+control+of+nondeterministic+systems&rft.jtitle=IEEE+transactions+on+automatic+control&rft.au=HEYMANN%2C+M&rft.au=LIN%2C+F&rft.date=1998&rft.pub=Institute+of+Electrical+and+Electronics+Engineers&rft.issn=0018-9286&rft.volume=43&rft.issue=1&rft.spage=3&rft.epage=17&rft_id=info:doi/10.1109%2F9.654883&rft.externalDBID=n%2Fa&rft.externalDocID=2136767 |
| thumbnail_l | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/lc.gif&issn=0018-9286&client=summon |
| thumbnail_m | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/mc.gif&issn=0018-9286&client=summon |
| thumbnail_s | http://covers-cdn.summon.serialssolutions.com/index.aspx?isbn=/sc.gif&issn=0018-9286&client=summon |