Matches in SemOpenAlex for { <https://semopenalex.org/work/W163973013> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W163973013 abstract "Over the past decades, human dependability on technical devices has rapidly increased.Many activities of such devices can be described by sequences of events,where the occurrence of an event causes the system to go from one state to another.This is elegantly modelled by state machines. Systems that are modelledin this way are referred to as discrete event systems. Usually, these systems arehighly complex, and appear in settings that are safety critical, where small failuresmay result in huge financial and/or human losses. Having a control functionis one way to guarantee system correctness.The work presented in this thesis concerns verification and synthesis of suchsystems using the supervisory control theory proposed by Ramadge and Wonham. Supervisory control theory provides a general framework to automaticallycalculate control functions for discrete event systems. Given a model of thesystem, the plant to be controlled, and a specification of the desired behaviour,it is possible to automatically compute, i.e. synthesise, a supervisor that ensuresthat the specification is satisfied.Usually, systems are modular and consist of several components interactingwith each other. Calculating a supervisor for such a system in the straightforwardway involves constructing the complete model of the considered system, whichmay lead to the inherent complexity problem known as the state-space explosionproblem. This problem occurs as the number of states grows exponentially withthe number of components, which makes it intractable to examine the globalstates of a system due to lack of memory and time.One way to alleviate the state-space explosion problem is to use a compositionalapproach. A compositional approach exploits the modular structure of asystem to reduce the size of the model. This thesis mainly focuses on developingabstraction methods for the compositional approach in a way that the finalverification and synthesis results are the same as it would have been for the nonabstractedsystem. The algorithms have been implemented in the discrete eventsystem software tool Supremica and have been applied to verify and computememory efficient supervisors for several large industrial models." @default.
- W163973013 created "2016-06-24" @default.
- W163973013 creator A5056156627 @default.
- W163973013 date "2015-01-01" @default.
- W163973013 modified "2023-09-26" @default.
- W163973013 title "On Compositional Approaches for Discrete Event Systems Verification and Synthesis" @default.
- W163973013 hasPublicationYear "2015" @default.
- W163973013 type Work @default.
- W163973013 sameAs 163973013 @default.
- W163973013 citedByCount "0" @default.
- W163973013 crossrefType "journal-article" @default.
- W163973013 hasAuthorship W163973013A5056156627 @default.
- W163973013 hasConcept C101468663 @default.
- W163973013 hasConcept C105795698 @default.
- W163973013 hasConcept C11413529 @default.
- W163973013 hasConcept C115903868 @default.
- W163973013 hasConcept C121332964 @default.
- W163973013 hasConcept C14036430 @default.
- W163973013 hasConcept C154945302 @default.
- W163973013 hasConcept C17744445 @default.
- W163973013 hasConcept C199360897 @default.
- W163973013 hasConcept C199539241 @default.
- W163973013 hasConcept C2775924081 @default.
- W163973013 hasConcept C2778693208 @default.
- W163973013 hasConcept C2779110517 @default.
- W163973013 hasConcept C2779662365 @default.
- W163973013 hasConcept C32866371 @default.
- W163973013 hasConcept C33923547 @default.
- W163973013 hasConcept C41008148 @default.
- W163973013 hasConcept C48103436 @default.
- W163973013 hasConcept C55439883 @default.
- W163973013 hasConcept C62520636 @default.
- W163973013 hasConcept C72434380 @default.
- W163973013 hasConcept C77019957 @default.
- W163973013 hasConcept C78458016 @default.
- W163973013 hasConcept C80444323 @default.
- W163973013 hasConcept C86803240 @default.
- W163973013 hasConcept C92991967 @default.
- W163973013 hasConcept C96314035 @default.
- W163973013 hasConceptScore W163973013C101468663 @default.
- W163973013 hasConceptScore W163973013C105795698 @default.
- W163973013 hasConceptScore W163973013C11413529 @default.
- W163973013 hasConceptScore W163973013C115903868 @default.
- W163973013 hasConceptScore W163973013C121332964 @default.
- W163973013 hasConceptScore W163973013C14036430 @default.
- W163973013 hasConceptScore W163973013C154945302 @default.
- W163973013 hasConceptScore W163973013C17744445 @default.
- W163973013 hasConceptScore W163973013C199360897 @default.
- W163973013 hasConceptScore W163973013C199539241 @default.
- W163973013 hasConceptScore W163973013C2775924081 @default.
- W163973013 hasConceptScore W163973013C2778693208 @default.
- W163973013 hasConceptScore W163973013C2779110517 @default.
- W163973013 hasConceptScore W163973013C2779662365 @default.
- W163973013 hasConceptScore W163973013C32866371 @default.
- W163973013 hasConceptScore W163973013C33923547 @default.
- W163973013 hasConceptScore W163973013C41008148 @default.
- W163973013 hasConceptScore W163973013C48103436 @default.
- W163973013 hasConceptScore W163973013C55439883 @default.
- W163973013 hasConceptScore W163973013C62520636 @default.
- W163973013 hasConceptScore W163973013C72434380 @default.
- W163973013 hasConceptScore W163973013C77019957 @default.
- W163973013 hasConceptScore W163973013C78458016 @default.
- W163973013 hasConceptScore W163973013C80444323 @default.
- W163973013 hasConceptScore W163973013C86803240 @default.
- W163973013 hasConceptScore W163973013C92991967 @default.
- W163973013 hasConceptScore W163973013C96314035 @default.
- W163973013 hasLocation W1639730131 @default.
- W163973013 hasOpenAccess W163973013 @default.
- W163973013 hasPrimaryLocation W1639730131 @default.
- W163973013 hasRelatedWork W1505569957 @default.
- W163973013 hasRelatedWork W17443020 @default.
- W163973013 hasRelatedWork W208031627 @default.
- W163973013 hasRelatedWork W2129367537 @default.
- W163973013 hasRelatedWork W2227507359 @default.
- W163973013 hasRelatedWork W2345814603 @default.
- W163973013 hasRelatedWork W2396237507 @default.
- W163973013 hasRelatedWork W2477338659 @default.
- W163973013 hasRelatedWork W2497178367 @default.
- W163973013 hasRelatedWork W2761012926 @default.
- W163973013 hasRelatedWork W2768356411 @default.
- W163973013 hasRelatedWork W2899075676 @default.
- W163973013 hasRelatedWork W2939414589 @default.
- W163973013 hasRelatedWork W3014981526 @default.
- W163973013 hasRelatedWork W3158304594 @default.
- W163973013 hasRelatedWork W3161201111 @default.
- W163973013 hasRelatedWork W3201396012 @default.
- W163973013 hasRelatedWork W65595126 @default.
- W163973013 hasRelatedWork W2184061207 @default.
- W163973013 hasRelatedWork W2560980522 @default.
- W163973013 isParatext "false" @default.
- W163973013 isRetracted "false" @default.
- W163973013 magId "163973013" @default.
- W163973013 workType "article" @default.