FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W160764713> ?p ?o ?g. }

• W160764713 abstract "The work presented in this thesis concerns verification and synthesis in the Ramadge and Wonham supervisory control framework. Supervisory control constitutes a formal framework for the design of supervisors for discrete event systems. These systems usually model high level descriptions of logical behaviours in applications such as flexible manufacturing processes, chemical batch processing systems and communication systems. The supervisory control framework has the potential to solve many safety and flexibility issues in such systems. Unfortunately, the analysis of discrete event systems involves an intrinsic difficulty known as the state-space explosion problem---a combinatorial explosion that soon occurs when problems of real-world complexity are analysed. The state-space explosion problem has given rise to much research and in the last decades many ingenious approaches to solving the problem have been presented. However, most of these approaches have in common that they can only be applied to special classes of supervisory control problems or that they only give partial solutions.Therefore, in a new attempt to overcome the state-space explosion problem for general supervisory control problems, this thesis develops compositional methods for verification and synthesis in the supervisory control framework. Compositional methods exploit the inherent modularity of discrete event models by using abstractions to incrementally hide already analysed behaviour of the system. A major part of the thesis concerns developing a methodology for calculating these abstractions and for applying the compositional approach to complex problems. Furthermore, a very important part of this work is the implementation of the compositional methods in a software tool for supervisory control. Experimental results from this implementation are also presented in the thesis.As a matter of fact, earlier work on computational complexity have shown that it is impossible to solve the state-space explosion problem efficiently for general problems. Even so, the results presented in this thesis show that ``large'' supervisory control problems found in the litterature typically have enough structure in them to be solved efficiently by compositional methods.Another contribution of this thesis is the development of a method to automatically generate models of the necessary interlocking requirements with respect to robot collisions in industrial robot cells. The generated models are suitable for supervisor synthesis in the supervisory control framework as well as for work-cycle optimisation. Automatic model generation and synthesis are important factors for shortening the development time and improving the flexibility for industrial robot cells." @default.
• W160764713 created "2016-06-24" @default.
• W160764713 creator A5049855461 @default.
• W160764713 date "2006-01-01" @default.
• W160764713 modified "2023-09-23" @default.
• W160764713 title "Compositional Approaches in Supervisory Control with Application to Automatic Generation of Robot Interlocking Policies" @default.
• W160764713 hasPublicationYear "2006" @default.
• W160764713 type Work @default.
• W160764713 sameAs 160764713 @default.
• W160764713 citedByCount "6" @default.
• W160764713 countsByYear W1607647132012 @default.
• W160764713 crossrefType "journal-article" @default.
• W160764713 hasAuthorship W160764713A5049855461 @default.
• W160764713 hasConcept C105795698 @default.
• W160764713 hasConcept C120314980 @default.
• W160764713 hasConcept C121332964 @default.
• W160764713 hasConcept C154945302 @default.
• W160764713 hasConcept C165696696 @default.
• W160764713 hasConcept C199360897 @default.
• W160764713 hasConcept C2775924081 @default.
• W160764713 hasConcept C2778693208 @default.
• W160764713 hasConcept C2779478453 @default.
• W160764713 hasConcept C2779662365 @default.
• W160764713 hasConcept C2780598303 @default.
• W160764713 hasConcept C33923547 @default.
• W160764713 hasConcept C38652104 @default.
• W160764713 hasConcept C41008148 @default.
• W160764713 hasConcept C48103436 @default.
• W160764713 hasConcept C54355233 @default.
• W160764713 hasConcept C62520636 @default.
• W160764713 hasConcept C72434380 @default.
• W160764713 hasConcept C80444323 @default.
• W160764713 hasConcept C86803240 @default.
• W160764713 hasConcept C92991967 @default.
• W160764713 hasConceptScore W160764713C105795698 @default.
• W160764713 hasConceptScore W160764713C120314980 @default.
• W160764713 hasConceptScore W160764713C121332964 @default.
• W160764713 hasConceptScore W160764713C154945302 @default.
• W160764713 hasConceptScore W160764713C165696696 @default.
• W160764713 hasConceptScore W160764713C199360897 @default.
• W160764713 hasConceptScore W160764713C2775924081 @default.
• W160764713 hasConceptScore W160764713C2778693208 @default.
• W160764713 hasConceptScore W160764713C2779478453 @default.
• W160764713 hasConceptScore W160764713C2779662365 @default.
• W160764713 hasConceptScore W160764713C2780598303 @default.
• W160764713 hasConceptScore W160764713C33923547 @default.
• W160764713 hasConceptScore W160764713C38652104 @default.
• W160764713 hasConceptScore W160764713C41008148 @default.
• W160764713 hasConceptScore W160764713C48103436 @default.
• W160764713 hasConceptScore W160764713C54355233 @default.
• W160764713 hasConceptScore W160764713C62520636 @default.
• W160764713 hasConceptScore W160764713C72434380 @default.
• W160764713 hasConceptScore W160764713C80444323 @default.
• W160764713 hasConceptScore W160764713C86803240 @default.
• W160764713 hasConceptScore W160764713C92991967 @default.
• W160764713 hasLocation W1607647131 @default.
• W160764713 hasOpenAccess W160764713 @default.
• W160764713 hasPrimaryLocation W1607647131 @default.
• W160764713 hasRelatedWork W120797731 @default.
• W160764713 hasRelatedWork W147189469 @default.
• W160764713 hasRelatedWork W1607339033 @default.
• W160764713 hasRelatedWork W1740431068 @default.
• W160764713 hasRelatedWork W1842158043 @default.
• W160764713 hasRelatedWork W1931865259 @default.
• W160764713 hasRelatedWork W2045475634 @default.
• W160764713 hasRelatedWork W2057409252 @default.
• W160764713 hasRelatedWork W2072073294 @default.
• W160764713 hasRelatedWork W2107377370 @default.
• W160764713 hasRelatedWork W2108566745 @default.
• W160764713 hasRelatedWork W2130777229 @default.
• W160764713 hasRelatedWork W2134908331 @default.
• W160764713 hasRelatedWork W2138582222 @default.
• W160764713 hasRelatedWork W2141891089 @default.
• W160764713 hasRelatedWork W2152819606 @default.
• W160764713 hasRelatedWork W2187704572 @default.
• W160764713 hasRelatedWork W2990814827 @default.
• W160764713 hasRelatedWork W3186915985 @default.
• W160764713 hasRelatedWork W184178056 @default.
• W160764713 isParatext "false" @default.
• W160764713 isRetracted "false" @default.
• W160764713 magId "160764713" @default.
• W160764713 workType "article" @default.