Matches in SemOpenAlex for { <https://semopenalex.org/work/W15664569> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W15664569 abstract "This dissertation proposes new methodologies for the supervisory control of concurrent systems. The focus of this work is on discrete-event concurrent systems. However, the extension of the discrete-event methods to concurrent systems with continuous dynamics is also approached. Petri nets are a convenient discrete-event representation of concurrent systems, and are used here for the modeling of concurrent systems. Several discrete-event supervisory control problems are approached here. First, the enforcement of specifications described as linear inequalities in terms of three Petri net parameters is considered. Then, the decentralized supervisory control problem is considered for specifications described by linear marking inequalities. The decentralized supervision problem is approached in three settings: no communication, unrestricted communication, and restricted communication. Finally, procedures for deadlock prevention and liveness enforcement are presented. Additionally, new results relating deadlock and liveness to the structure of a Petri net are also presented. The main feature of the supervision methods proposed in this dissertation is that they rely on the structure of the Petri net. This structural approach has computational benefits and allows the supervisor design to be independent of the initial state of the system. The methods are given in a general supervision setting, which makes no assumptions on the structure of the Petri nets and allows partial controllability and partial observability to be present. This dissertation addresses also the supervisory control problem in the more general framework of hybrid systems, that is, systems involving both discrete-event and continuous dynamics. A two-level approach is proposed. The lower level design is concerned with the development of controllers for the continuous part of the hybrid systems. The higher level design is concerned with the design of a supervisor coordinating the operation of the lower level controllers, according to given discrete-event specifications. At the higher methodologies can then be applied to design the appropriate supervisor. The discrete-event setting here is extended to model some of the hard constraints arising in the supervision of hybrid systems. Extensions of discrete-event methods to this setting are also approached. Finally, the controller design at the lower level is considered in a discrete-time setting. The controller level. This dissertation aims to contribute to the automated design of controllers for complex systems. This work is believed to be relevant for applications in a variety of areas, including automated manufacturing, robotics, computer networks, and traffic control." @default.
- W15664569 created "2016-06-24" @default.
- W15664569 creator A5043787244 @default.
- W15664569 creator A5077171773 @default.
- W15664569 date "2004-01-01" @default.
- W15664569 modified "2023-09-23" @default.
- W15664569 title "Methods for the supervisory control of concurrent systems based on petri net abstractions" @default.
- W15664569 hasPublicationYear "2004" @default.
- W15664569 type Work @default.
- W15664569 sameAs 15664569 @default.
- W15664569 citedByCount "14" @default.
- W15664569 countsByYear W156645692014 @default.
- W15664569 crossrefType "journal-article" @default.
- W15664569 hasAuthorship W15664569A5043787244 @default.
- W15664569 hasAuthorship W15664569A5077171773 @default.
- W15664569 hasConcept C120314980 @default.
- W15664569 hasConcept C121332964 @default.
- W15664569 hasConcept C136155141 @default.
- W15664569 hasConcept C154945302 @default.
- W15664569 hasConcept C15569618 @default.
- W15664569 hasConcept C159023740 @default.
- W15664569 hasConcept C17744445 @default.
- W15664569 hasConcept C193702766 @default.
- W15664569 hasConcept C197551870 @default.
- W15664569 hasConcept C199539241 @default.
- W15664569 hasConcept C2775924081 @default.
- W15664569 hasConcept C2779110517 @default.
- W15664569 hasConcept C2779662365 @default.
- W15664569 hasConcept C28826006 @default.
- W15664569 hasConcept C33923547 @default.
- W15664569 hasConcept C36299963 @default.
- W15664569 hasConcept C38677869 @default.
- W15664569 hasConcept C41008148 @default.
- W15664569 hasConcept C48209547 @default.
- W15664569 hasConcept C62520636 @default.
- W15664569 hasConcept C80444323 @default.
- W15664569 hasConcept C92991967 @default.
- W15664569 hasConceptScore W15664569C120314980 @default.
- W15664569 hasConceptScore W15664569C121332964 @default.
- W15664569 hasConceptScore W15664569C136155141 @default.
- W15664569 hasConceptScore W15664569C154945302 @default.
- W15664569 hasConceptScore W15664569C15569618 @default.
- W15664569 hasConceptScore W15664569C159023740 @default.
- W15664569 hasConceptScore W15664569C17744445 @default.
- W15664569 hasConceptScore W15664569C193702766 @default.
- W15664569 hasConceptScore W15664569C197551870 @default.
- W15664569 hasConceptScore W15664569C199539241 @default.
- W15664569 hasConceptScore W15664569C2775924081 @default.
- W15664569 hasConceptScore W15664569C2779110517 @default.
- W15664569 hasConceptScore W15664569C2779662365 @default.
- W15664569 hasConceptScore W15664569C28826006 @default.
- W15664569 hasConceptScore W15664569C33923547 @default.
- W15664569 hasConceptScore W15664569C36299963 @default.
- W15664569 hasConceptScore W15664569C38677869 @default.
- W15664569 hasConceptScore W15664569C41008148 @default.
- W15664569 hasConceptScore W15664569C48209547 @default.
- W15664569 hasConceptScore W15664569C62520636 @default.
- W15664569 hasConceptScore W15664569C80444323 @default.
- W15664569 hasConceptScore W15664569C92991967 @default.
- W15664569 hasLocation W156645691 @default.
- W15664569 hasOpenAccess W15664569 @default.
- W15664569 hasPrimaryLocation W156645691 @default.
- W15664569 hasRelatedWork W1504928013 @default.
- W15664569 hasRelatedWork W1508032846 @default.
- W15664569 hasRelatedWork W1516346439 @default.
- W15664569 hasRelatedWork W1556549343 @default.
- W15664569 hasRelatedWork W1699115902 @default.
- W15664569 hasRelatedWork W1962985716 @default.
- W15664569 hasRelatedWork W1973317763 @default.
- W15664569 hasRelatedWork W1996109622 @default.
- W15664569 hasRelatedWork W2111126894 @default.
- W15664569 hasRelatedWork W2116435076 @default.
- W15664569 hasRelatedWork W2124901174 @default.
- W15664569 hasRelatedWork W2124985000 @default.
- W15664569 hasRelatedWork W2136769861 @default.
- W15664569 hasRelatedWork W2140872435 @default.
- W15664569 hasRelatedWork W2151008975 @default.
- W15664569 hasRelatedWork W2152008376 @default.
- W15664569 hasRelatedWork W2220224489 @default.
- W15664569 hasRelatedWork W23606568 @default.
- W15664569 hasRelatedWork W2525606591 @default.
- W15664569 hasRelatedWork W8635843 @default.
- W15664569 isParatext "false" @default.
- W15664569 isRetracted "false" @default.
- W15664569 magId "15664569" @default.
- W15664569 workType "article" @default.