FRINK Linked Data Fragments server

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

• W2022147836 endingPage "289" @default.
• W2022147836 startingPage "284" @default.
• W2022147836 abstract "The design of logic controllers for event-driven systems continue to rely largely on intuitive methods rather than on formal techniques. This approach results in a control code that requires extensive verification, is hard to maintain and modify, and may even fail at times. Supervisory control theory (SCT) provides a formal approach to logic control synthesis. In order to demonstrate the usefulness of the supervisory control theory in manufacturing systems, an educational test-bed that simulates an automated car assembly line has been built using LEGO/spl reg/ blocks. Finite state machines (FSMs) are used for modeling operations of the assembly line, and for the specifications that accomplish the task of successfully completing the assembly repeatedly. Using the technique of SCT, we derive a supervisor that enforces the specifications while offering the maximum flexibility of assembly. Subsequently a controller is extracted from the maximally permissive supervisor for the purpose of implementing the control by selecting, when possible, at most one controllable event from among the ones allowed by the supervisor. Testing to check the correctness of the control code is reduced, since the controller is guaranteed to enforce the specifications." @default.
• W2022147836 created "2016-06-24" @default.
• W2022147836 creator A5044031773 @default.
• W2022147836 creator A5047505682 @default.
• W2022147836 creator A5077809517 @default.
• W2022147836 date "2003-05-01" @default.
• W2022147836 modified "2023-10-18" @default.
• W2022147836 title "Automated control synthesis for an assembly line using discrete event system control theory" @default.
• W2022147836 cites W1497487247 @default.
• W2022147836 cites W1600091127 @default.
• W2022147836 cites W1878974782 @default.
• W2022147836 cites W1979349468 @default.
• W2022147836 cites W2011924634 @default.
• W2022147836 cites W2294949827 @default.
• W2022147836 cites W4214749219 @default.
• W2022147836 doi "https://doi.org/10.1109/tsmcc.2003.813152" @default.
• W2022147836 hasPublicationYear "2003" @default.
• W2022147836 type Work @default.
• W2022147836 sameAs 2022147836 @default.
• W2022147836 citedByCount "60" @default.
• W2022147836 countsByYear W20221478362012 @default.
• W2022147836 countsByYear W20221478362013 @default.
• W2022147836 countsByYear W20221478362014 @default.
• W2022147836 countsByYear W20221478362015 @default.
• W2022147836 countsByYear W20221478362016 @default.
• W2022147836 countsByYear W20221478362017 @default.
• W2022147836 countsByYear W20221478362018 @default.
• W2022147836 countsByYear W20221478362019 @default.
• W2022147836 countsByYear W20221478362020 @default.
• W2022147836 countsByYear W20221478362021 @default.
• W2022147836 crossrefType "journal-article" @default.
• W2022147836 hasAuthorship W2022147836A5044031773 @default.
• W2022147836 hasAuthorship W2022147836A5047505682 @default.
• W2022147836 hasAuthorship W2022147836A5077809517 @default.
• W2022147836 hasConcept C105795698 @default.
• W2022147836 hasConcept C119599485 @default.
• W2022147836 hasConcept C121332964 @default.
• W2022147836 hasConcept C127413603 @default.
• W2022147836 hasConcept C133731056 @default.
• W2022147836 hasConcept C149635348 @default.
• W2022147836 hasConcept C154945302 @default.
• W2022147836 hasConcept C167822520 @default.
• W2022147836 hasConcept C17500928 @default.
• W2022147836 hasConcept C177264268 @default.
• W2022147836 hasConcept C17744445 @default.
• W2022147836 hasConcept C199360897 @default.
• W2022147836 hasConcept C199539241 @default.
• W2022147836 hasConcept C201995342 @default.
• W2022147836 hasConcept C203479927 @default.
• W2022147836 hasConcept C2775924081 @default.
• W2022147836 hasConcept C2776350369 @default.
• W2022147836 hasConcept C2776760102 @default.
• W2022147836 hasConcept C2778693208 @default.
• W2022147836 hasConcept C2779110517 @default.
• W2022147836 hasConcept C2779662365 @default.
• W2022147836 hasConcept C2780451532 @default.
• W2022147836 hasConcept C2780598303 @default.
• W2022147836 hasConcept C33923547 @default.
• W2022147836 hasConcept C41008148 @default.
• W2022147836 hasConcept C55439883 @default.
• W2022147836 hasConcept C62520636 @default.
• W2022147836 hasConcept C6557445 @default.
• W2022147836 hasConcept C86803240 @default.
• W2022147836 hasConcept C92991967 @default.
• W2022147836 hasConceptScore W2022147836C105795698 @default.
• W2022147836 hasConceptScore W2022147836C119599485 @default.
• W2022147836 hasConceptScore W2022147836C121332964 @default.
• W2022147836 hasConceptScore W2022147836C127413603 @default.
• W2022147836 hasConceptScore W2022147836C133731056 @default.
• W2022147836 hasConceptScore W2022147836C149635348 @default.
• W2022147836 hasConceptScore W2022147836C154945302 @default.
• W2022147836 hasConceptScore W2022147836C167822520 @default.
• W2022147836 hasConceptScore W2022147836C17500928 @default.
• W2022147836 hasConceptScore W2022147836C177264268 @default.
• W2022147836 hasConceptScore W2022147836C17744445 @default.
• W2022147836 hasConceptScore W2022147836C199360897 @default.
• W2022147836 hasConceptScore W2022147836C199539241 @default.
• W2022147836 hasConceptScore W2022147836C201995342 @default.
• W2022147836 hasConceptScore W2022147836C203479927 @default.
• W2022147836 hasConceptScore W2022147836C2775924081 @default.
• W2022147836 hasConceptScore W2022147836C2776350369 @default.
• W2022147836 hasConceptScore W2022147836C2776760102 @default.
• W2022147836 hasConceptScore W2022147836C2778693208 @default.
• W2022147836 hasConceptScore W2022147836C2779110517 @default.
• W2022147836 hasConceptScore W2022147836C2779662365 @default.
• W2022147836 hasConceptScore W2022147836C2780451532 @default.
• W2022147836 hasConceptScore W2022147836C2780598303 @default.
• W2022147836 hasConceptScore W2022147836C33923547 @default.
• W2022147836 hasConceptScore W2022147836C41008148 @default.
• W2022147836 hasConceptScore W2022147836C55439883 @default.
• W2022147836 hasConceptScore W2022147836C62520636 @default.
• W2022147836 hasConceptScore W2022147836C6557445 @default.
• W2022147836 hasConceptScore W2022147836C86803240 @default.
• W2022147836 hasConceptScore W2022147836C92991967 @default.
• W2022147836 hasIssue "2" @default.
• W2022147836 hasLocation W20221478361 @default.
• W2022147836 hasOpenAccess W2022147836 @default.
• W2022147836 hasPrimaryLocation W20221478361 @default.

• next