Matches in SemOpenAlex for { <https://semopenalex.org/work/W1567707156> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W1567707156 endingPage "252" @default.
- W1567707156 startingPage "233" @default.
- W1567707156 abstract "We present novel techniques for eficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give algorithms for controller synthesis in the context of finite graphs with ticontrollable and uncontrollable edges, distinguishing between the actions of the system and its environment, respectively. The algorithms are tion-the-fly, since they return a controller as soon as one is found, which avoids the generation of the whole state space. In the timed case, we use the model of titimed automata extended with controllable and uncontrollable discrete transitions. Our controller-synthesis method here is only half on-the-fly, since it relies on the a-priori generation of a finite model (graph) of the timed automaton, as quotient of the titime-abstracting bisimulation. The quotient graph is essentially an untimed graph, upon which we can apply the untimed on-the-fly algorithms to compute a timed controller." @default.
- W1567707156 created "2016-06-24" @default.
- W1567707156 creator A5080042319 @default.
- W1567707156 creator A5084253085 @default.
- W1567707156 date "1999-01-01" @default.
- W1567707156 modified "2023-10-03" @default.
- W1567707156 title "On-the-Fly Controller Synthesis for Discrete and Dense-Time Systems" @default.
- W1567707156 cites W1560264589 @default.
- W1567707156 cites W1569051713 @default.
- W1567707156 cites W1577437452 @default.
- W1567707156 cites W1874725288 @default.
- W1567707156 cites W1979349468 @default.
- W1567707156 cites W1981808971 @default.
- W1567707156 cites W2016206563 @default.
- W1567707156 cites W2130773092 @default.
- W1567707156 cites W2142718416 @default.
- W1567707156 cites W2144965436 @default.
- W1567707156 doi "https://doi.org/10.1007/3-540-48119-2_15" @default.
- W1567707156 hasPublicationYear "1999" @default.
- W1567707156 type Work @default.
- W1567707156 sameAs 1567707156 @default.
- W1567707156 citedByCount "57" @default.
- W1567707156 countsByYear W15677071562012 @default.
- W1567707156 countsByYear W15677071562013 @default.
- W1567707156 countsByYear W15677071562014 @default.
- W1567707156 countsByYear W15677071562016 @default.
- W1567707156 countsByYear W15677071562017 @default.
- W1567707156 countsByYear W15677071562018 @default.
- W1567707156 countsByYear W15677071562019 @default.
- W1567707156 countsByYear W15677071562020 @default.
- W1567707156 countsByYear W15677071562021 @default.
- W1567707156 countsByYear W15677071562023 @default.
- W1567707156 crossrefType "book-chapter" @default.
- W1567707156 hasAuthorship W1567707156A5080042319 @default.
- W1567707156 hasAuthorship W1567707156A5084253085 @default.
- W1567707156 hasBestOaLocation W15677071561 @default.
- W1567707156 hasConcept C105795698 @default.
- W1567707156 hasConcept C111919701 @default.
- W1567707156 hasConcept C112505250 @default.
- W1567707156 hasConcept C11413529 @default.
- W1567707156 hasConcept C132525143 @default.
- W1567707156 hasConcept C135315306 @default.
- W1567707156 hasConcept C136643341 @default.
- W1567707156 hasConcept C151730666 @default.
- W1567707156 hasConcept C167822520 @default.
- W1567707156 hasConcept C199422724 @default.
- W1567707156 hasConcept C202444582 @default.
- W1567707156 hasConcept C203479927 @default.
- W1567707156 hasConcept C2776028153 @default.
- W1567707156 hasConcept C2779343474 @default.
- W1567707156 hasConcept C2781020372 @default.
- W1567707156 hasConcept C30788636 @default.
- W1567707156 hasConcept C33923547 @default.
- W1567707156 hasConcept C41008148 @default.
- W1567707156 hasConcept C6557445 @default.
- W1567707156 hasConcept C72434380 @default.
- W1567707156 hasConcept C80444323 @default.
- W1567707156 hasConcept C86803240 @default.
- W1567707156 hasConceptScore W1567707156C105795698 @default.
- W1567707156 hasConceptScore W1567707156C111919701 @default.
- W1567707156 hasConceptScore W1567707156C112505250 @default.
- W1567707156 hasConceptScore W1567707156C11413529 @default.
- W1567707156 hasConceptScore W1567707156C132525143 @default.
- W1567707156 hasConceptScore W1567707156C135315306 @default.
- W1567707156 hasConceptScore W1567707156C136643341 @default.
- W1567707156 hasConceptScore W1567707156C151730666 @default.
- W1567707156 hasConceptScore W1567707156C167822520 @default.
- W1567707156 hasConceptScore W1567707156C199422724 @default.
- W1567707156 hasConceptScore W1567707156C202444582 @default.
- W1567707156 hasConceptScore W1567707156C203479927 @default.
- W1567707156 hasConceptScore W1567707156C2776028153 @default.
- W1567707156 hasConceptScore W1567707156C2779343474 @default.
- W1567707156 hasConceptScore W1567707156C2781020372 @default.
- W1567707156 hasConceptScore W1567707156C30788636 @default.
- W1567707156 hasConceptScore W1567707156C33923547 @default.
- W1567707156 hasConceptScore W1567707156C41008148 @default.
- W1567707156 hasConceptScore W1567707156C6557445 @default.
- W1567707156 hasConceptScore W1567707156C72434380 @default.
- W1567707156 hasConceptScore W1567707156C80444323 @default.
- W1567707156 hasConceptScore W1567707156C86803240 @default.
- W1567707156 hasLocation W15677071561 @default.
- W1567707156 hasOpenAccess W1567707156 @default.
- W1567707156 hasPrimaryLocation W15677071561 @default.
- W1567707156 hasRelatedWork W1518566078 @default.
- W1567707156 hasRelatedWork W1976952121 @default.
- W1567707156 hasRelatedWork W2118465540 @default.
- W1567707156 hasRelatedWork W2120347230 @default.
- W1567707156 hasRelatedWork W2129912485 @default.
- W1567707156 hasRelatedWork W2989041661 @default.
- W1567707156 hasRelatedWork W3039941228 @default.
- W1567707156 hasRelatedWork W3095160120 @default.
- W1567707156 hasRelatedWork W3138334597 @default.
- W1567707156 hasRelatedWork W4287742608 @default.
- W1567707156 isParatext "false" @default.
- W1567707156 isRetracted "false" @default.
- W1567707156 magId "1567707156" @default.
- W1567707156 workType "book-chapter" @default.