Matches in SemOpenAlex for { <https://semopenalex.org/work/W816572895> ?p ?o ?g. }
- W816572895 abstract "Abstract—We suggest a synthetic symbolic approach to decen-tralized supervisory control for the class of hybrid dynamical sys-tems that can be modelled as hybrid state machines with a finiteexternal signal space. The decentralized computational schemerepresents a conjunction of a finite number of subsupervisors,which are invoked by a decomposition of the external signalspace. On this basis, we derive sufficiency conditions for theexistence of the solution to the decentralized supervisory controlproblem, which provide a suitable initial point to a constructiveapproach of appropriate decompositions of the signal space.Index Terms—decentralized control, hybrid dynamical sys-tems, supervisory control, decomposition I. I NTRODUCTION Hybrid dynamical control systems arise at heterogeneoussystems that exhibit a coupled time-triggered and event-triggered dynamics. A variety of control problems for suchsystems have been receiving extensive attention (see e.g. [5],[4], etc.). A popular approach has been the abstraction of con-tinuous dynamics in attempting to remove the aforementionedheterogeneity (e.g. see [8]). Such approaches lead necessarilyto a discrete event systems framework, where a rich toolsetfor control and verification exist [2], [7], etc. In this paper, wefollow a similar approach in investigating the decentralizedsupervisory control for the class of systems that can becaptured by a hybrid state machine with a finite external signalspace [6], [1], etc.Decentralized control is typically motivated by the inher-ent distribution of many complex systems, by computationaltime/space complexity reduction and robustness. Therefore, weinitially introduce a decomposition of the original signal spaceinto a finite number of aggregate signal spaces of a lowercardinality by means of, what we call here, the aggregationmaps. Note that this concept is different, though closelyrelated to the natural projections [3]. Thereby, each of theintroduced aggregate signal spaces invokes a state machineby relabeling the symbols of the original one. Intuitively, thismay be interpreted as a setup with a finite number of “coarse”sensors and actuators. Effectively, the information collectedfrom the different discrete-valued sensors is complete, yetcoarsely quantized, which represents a subtle difference to thesensory set with partial observations. In this article we derivea few of sufficient conditions which guarantee the existence ofthe solution to the supervisory decentralized control problemwithin our framework and also relate them to conditions ofsignal space decomposition.The remainder of the paper is organized as follows. InSection II the reader is made familiar with the used notationand the basic preliminary concepts on systems and represen-tation in the context of the behavior theory [9]. Section IIIrepresents the core of the work. We define here the con-junctive decentralized supervisory control scheme, and discussthoroughly the concepts of coobservability, non-conflictnessand implementability. The main results are summarized inSectionIII-E. Plenty of examples are elaborated to clarify andillustrate the concepts and statements.II. P" @default.
- W816572895 created "2016-06-24" @default.
- W816572895 creator A5047225984 @default.
- W816572895 creator A5076974853 @default.
- W816572895 date "2013-01-01" @default.
- W816572895 modified "2023-09-24" @default.
- W816572895 title "A symbolic approach to decentralized supervisory control of hybrid systems" @default.
- W816572895 cites W1483893502 @default.
- W816572895 cites W1498690161 @default.
- W816572895 cites W1569239057 @default.
- W816572895 cites W1587663028 @default.
- W816572895 cites W1723954066 @default.
- W816572895 cites W2059057465 @default.
- W816572895 cites W2085128669 @default.
- W816572895 cites W2099308299 @default.
- W816572895 cites W2146560209 @default.
- W816572895 cites W2487779201 @default.
- W816572895 cites W633708014 @default.
- W816572895 hasPublicationYear "2013" @default.
- W816572895 type Work @default.
- W816572895 sameAs 816572895 @default.
- W816572895 citedByCount "0" @default.
- W816572895 crossrefType "journal-article" @default.
- W816572895 hasAuthorship W816572895A5047225984 @default.
- W816572895 hasAuthorship W816572895A5076974853 @default.
- W816572895 hasConcept C104317684 @default.
- W816572895 hasConcept C105795698 @default.
- W816572895 hasConcept C111472728 @default.
- W816572895 hasConcept C119857082 @default.
- W816572895 hasConcept C120314980 @default.
- W816572895 hasConcept C121332964 @default.
- W816572895 hasConcept C124304363 @default.
- W816572895 hasConcept C124681953 @default.
- W816572895 hasConcept C138885662 @default.
- W816572895 hasConcept C154945302 @default.
- W816572895 hasConcept C185592680 @default.
- W816572895 hasConcept C18903297 @default.
- W816572895 hasConcept C205875254 @default.
- W816572895 hasConcept C2775924081 @default.
- W816572895 hasConcept C2779662365 @default.
- W816572895 hasConcept C33923547 @default.
- W816572895 hasConcept C41008148 @default.
- W816572895 hasConcept C47446073 @default.
- W816572895 hasConcept C50897621 @default.
- W816572895 hasConcept C55493867 @default.
- W816572895 hasConcept C62520636 @default.
- W816572895 hasConcept C63479239 @default.
- W816572895 hasConcept C72434380 @default.
- W816572895 hasConcept C79379906 @default.
- W816572895 hasConcept C86803240 @default.
- W816572895 hasConcept C92991967 @default.
- W816572895 hasConceptScore W816572895C104317684 @default.
- W816572895 hasConceptScore W816572895C105795698 @default.
- W816572895 hasConceptScore W816572895C111472728 @default.
- W816572895 hasConceptScore W816572895C119857082 @default.
- W816572895 hasConceptScore W816572895C120314980 @default.
- W816572895 hasConceptScore W816572895C121332964 @default.
- W816572895 hasConceptScore W816572895C124304363 @default.
- W816572895 hasConceptScore W816572895C124681953 @default.
- W816572895 hasConceptScore W816572895C138885662 @default.
- W816572895 hasConceptScore W816572895C154945302 @default.
- W816572895 hasConceptScore W816572895C185592680 @default.
- W816572895 hasConceptScore W816572895C18903297 @default.
- W816572895 hasConceptScore W816572895C205875254 @default.
- W816572895 hasConceptScore W816572895C2775924081 @default.
- W816572895 hasConceptScore W816572895C2779662365 @default.
- W816572895 hasConceptScore W816572895C33923547 @default.
- W816572895 hasConceptScore W816572895C41008148 @default.
- W816572895 hasConceptScore W816572895C47446073 @default.
- W816572895 hasConceptScore W816572895C50897621 @default.
- W816572895 hasConceptScore W816572895C55493867 @default.
- W816572895 hasConceptScore W816572895C62520636 @default.
- W816572895 hasConceptScore W816572895C63479239 @default.
- W816572895 hasConceptScore W816572895C72434380 @default.
- W816572895 hasConceptScore W816572895C79379906 @default.
- W816572895 hasConceptScore W816572895C86803240 @default.
- W816572895 hasConceptScore W816572895C92991967 @default.
- W816572895 hasLocation W8165728951 @default.
- W816572895 hasOpenAccess W816572895 @default.
- W816572895 hasPrimaryLocation W8165728951 @default.
- W816572895 hasRelatedWork W1491296289 @default.
- W816572895 hasRelatedWork W1523784325 @default.
- W816572895 hasRelatedWork W1541224006 @default.
- W816572895 hasRelatedWork W1677594096 @default.
- W816572895 hasRelatedWork W1986401151 @default.
- W816572895 hasRelatedWork W2017520861 @default.
- W816572895 hasRelatedWork W2045710136 @default.
- W816572895 hasRelatedWork W2047395339 @default.
- W816572895 hasRelatedWork W2059097729 @default.
- W816572895 hasRelatedWork W2071884226 @default.
- W816572895 hasRelatedWork W2151623798 @default.
- W816572895 hasRelatedWork W2170448441 @default.
- W816572895 hasRelatedWork W2184069309 @default.
- W816572895 hasRelatedWork W2195940454 @default.
- W816572895 hasRelatedWork W23617091 @default.
- W816572895 hasRelatedWork W2370029551 @default.
- W816572895 hasRelatedWork W2389312868 @default.
- W816572895 hasRelatedWork W2507368537 @default.
- W816572895 hasRelatedWork W2715135237 @default.
- W816572895 hasRelatedWork W2186458381 @default.