FRINK Linked Data Fragments server

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

• W1551770637 abstract "Sampled-data supervisory control deals with timed discrete event systems (TDES) where the supervisors are to be implemented as sampled-data controllers. A sampled-data controller views the system as a series of inputs and outputs and is controlled by a periodic clock. It samples its inputs, changes state, and updates its outputs on each clock edge (the tick event). The sampled-data supervisory control framework provides a set of conditions that the TDES system must satisfy to ensure its correct behaviour in order to be implemented as sampled data controllers. A serious limitation for automatic verification of systems is the size of the system’s synchronous product. To overcome this limitation, we propose the use of a compositional approach to the verification of sampled-data supervisory control. In this approach, first we recast the required conditions for sampled-data supervisory control in terms of other properties such as language inclusion, nonblocking or controllability, which already have existing compositional methods and algorithms. This makes the sampled-data properties suitable for compositional verification, considerably increasing the size of systems that can be handled using sampled-data supervisory control. We also develop and implement a set of algorithms for the compositional verification of these sampled-data properties. We provide an example of the SD Controlled Flexible Manufacturing System to test our algorithms." @default.
• W1551770637 created "2016-06-24" @default.
• W1551770637 creator A5005595755 @default.
• W1551770637 date "2012-04-01" @default.
• W1551770637 modified "2023-09-26" @default.
• W1551770637 title "A Compositional Approach for Verifying Sampled-Data Supervisory Control" @default.
• W1551770637 cites W1500110201 @default.
• W1551770637 cites W1503170978 @default.
• W1551770637 cites W1534752314 @default.
• W1551770637 cites W1547080071 @default.
• W1551770637 cites W1587663028 @default.
• W1551770637 cites W1992586213 @default.
• W1551770637 cites W1995862561 @default.
• W1551770637 cites W2000582189 @default.
• W1551770637 cites W200832785 @default.
• W1551770637 cites W2009965218 @default.
• W1551770637 cites W2016140364 @default.
• W1551770637 cites W2023265087 @default.
• W1551770637 cites W2024016988 @default.
• W1551770637 cites W2030224590 @default.
• W1551770637 cites W2035939251 @default.
• W1551770637 cites W2038217297 @default.
• W1551770637 cites W2040597813 @default.
• W1551770637 cites W2054198444 @default.
• W1551770637 cites W2059057465 @default.
• W1551770637 cites W2062650147 @default.
• W1551770637 cites W2085834732 @default.
• W1551770637 cites W2100410869 @default.
• W1551770637 cites W2108414441 @default.
• W1551770637 cites W2108441235 @default.
• W1551770637 cites W2108872359 @default.
• W1551770637 cites W2126295866 @default.
• W1551770637 cites W2133925698 @default.
• W1551770637 cites W2135254706 @default.
• W1551770637 cites W2137467159 @default.
• W1551770637 cites W2138287038 @default.
• W1551770637 cites W2153036135 @default.
• W1551770637 cites W2154148696 @default.
• W1551770637 cites W2158870656 @default.
• W1551770637 cites W2160146978 @default.
• W1551770637 cites W2170124674 @default.
• W1551770637 cites W2293794131 @default.
• W1551770637 cites W2354914065 @default.
• W1551770637 cites W2984582970 @default.
• W1551770637 hasPublicationYear "2012" @default.
• W1551770637 type Work @default.
• W1551770637 sameAs 1551770637 @default.
• W1551770637 citedByCount "1" @default.
• W1551770637 countsByYear W15517706372014 @default.
• W1551770637 crossrefType "dissertation" @default.
• W1551770637 hasAuthorship W1551770637A5005595755 @default.
• W1551770637 hasConcept C119599485 @default.
• W1551770637 hasConcept C121332964 @default.
• W1551770637 hasConcept C127413603 @default.
• W1551770637 hasConcept C133731056 @default.
• W1551770637 hasConcept C154945302 @default.
• W1551770637 hasConcept C17500928 @default.
• W1551770637 hasConcept C177264268 @default.
• W1551770637 hasConcept C17744445 @default.
• W1551770637 hasConcept C199360897 @default.
• W1551770637 hasConcept C199539241 @default.
• W1551770637 hasConcept C203479927 @default.
• W1551770637 hasConcept C2775924081 @default.
• W1551770637 hasConcept C2778693208 @default.
• W1551770637 hasConcept C2779110517 @default.
• W1551770637 hasConcept C2779662365 @default.
• W1551770637 hasConcept C28826006 @default.
• W1551770637 hasConcept C33923547 @default.
• W1551770637 hasConcept C41008148 @default.
• W1551770637 hasConcept C48209547 @default.
• W1551770637 hasConcept C62520636 @default.
• W1551770637 hasConcept C6557445 @default.
• W1551770637 hasConcept C79403827 @default.
• W1551770637 hasConcept C86803240 @default.
• W1551770637 hasConcept C92991967 @default.
• W1551770637 hasConceptScore W1551770637C119599485 @default.
• W1551770637 hasConceptScore W1551770637C121332964 @default.
• W1551770637 hasConceptScore W1551770637C127413603 @default.
• W1551770637 hasConceptScore W1551770637C133731056 @default.
• W1551770637 hasConceptScore W1551770637C154945302 @default.
• W1551770637 hasConceptScore W1551770637C17500928 @default.
• W1551770637 hasConceptScore W1551770637C177264268 @default.
• W1551770637 hasConceptScore W1551770637C17744445 @default.
• W1551770637 hasConceptScore W1551770637C199360897 @default.
• W1551770637 hasConceptScore W1551770637C199539241 @default.
• W1551770637 hasConceptScore W1551770637C203479927 @default.
• W1551770637 hasConceptScore W1551770637C2775924081 @default.
• W1551770637 hasConceptScore W1551770637C2778693208 @default.
• W1551770637 hasConceptScore W1551770637C2779110517 @default.
• W1551770637 hasConceptScore W1551770637C2779662365 @default.
• W1551770637 hasConceptScore W1551770637C28826006 @default.
• W1551770637 hasConceptScore W1551770637C33923547 @default.
• W1551770637 hasConceptScore W1551770637C41008148 @default.
• W1551770637 hasConceptScore W1551770637C48209547 @default.
• W1551770637 hasConceptScore W1551770637C62520636 @default.
• W1551770637 hasConceptScore W1551770637C6557445 @default.
• W1551770637 hasConceptScore W1551770637C79403827 @default.
• W1551770637 hasConceptScore W1551770637C86803240 @default.
• W1551770637 hasConceptScore W1551770637C92991967 @default.
• W1551770637 hasLocation W15517706371 @default.

• next