Matches in SemOpenAlex for { <https://semopenalex.org/work/W2653359958> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2653359958 abstract "In this dissertation, we consider the specification and the controller synthesis problem for real-time systems. Our models for systems are kinds of Event-recording automata. We assume that controllers observe all the events occurring in the system and can prevent occurrences of controllable events. We study Event-recording Logic (ERL). We propose new algorithms for the model-checking and the satisfiability problems of that logic. Our algorithms are similar to some algorithms proposed for the same problems in the setting of the standard $mu$-calculus. They also correct earlier proposed algorithms. We define disjunctive normal form formulas and we show that every formula is equivalent to a formula in disjunctive normal form. Unfortunately, ERL is rather weak and can not describe some interesting real-time properties, in particular some important properties for controllers. We define a new logic that we call WTmu. The logic WTmu is a weak real-time extension of the standard $mu$-calculus. We present an algorithm for the model-checking problem of WTmu. We consider a fragment of WTmu called WTmu for control (C-WTmu). We show that the satisfiability of C-WTmu is decidable. The algorithm that we propose for deciding whether a formula of C-WTmu, has a model does not need to know the maximal constant used in models and it enables the construction of a witness model. Using C-WTmu, we present algorithms for a centralised controller synthesis problem and a centralised $Delta$-controller synthesis problems. The construction of witness controllers is effective." @default.
- W2653359958 created "2017-06-30" @default.
- W2653359958 creator A5050633462 @default.
- W2653359958 date "2009-12-07" @default.
- W2653359958 modified "2023-09-23" @default.
- W2653359958 title "Synthesis for a Weak Real-Time Logic" @default.
- W2653359958 hasPublicationYear "2009" @default.
- W2653359958 type Work @default.
- W2653359958 sameAs 2653359958 @default.
- W2653359958 citedByCount "0" @default.
- W2653359958 crossrefType "dissertation" @default.
- W2653359958 hasAuthorship W2653359958A5050633462 @default.
- W2653359958 hasConcept C110251889 @default.
- W2653359958 hasConcept C112505250 @default.
- W2653359958 hasConcept C11413529 @default.
- W2653359958 hasConcept C121332964 @default.
- W2653359958 hasConcept C153269930 @default.
- W2653359958 hasConcept C168773769 @default.
- W2653359958 hasConcept C199360897 @default.
- W2653359958 hasConcept C25016198 @default.
- W2653359958 hasConcept C2776235265 @default.
- W2653359958 hasConcept C2777027219 @default.
- W2653359958 hasConcept C2778029271 @default.
- W2653359958 hasConcept C2779662365 @default.
- W2653359958 hasConcept C33923547 @default.
- W2653359958 hasConcept C41008148 @default.
- W2653359958 hasConcept C62520636 @default.
- W2653359958 hasConcept C6943359 @default.
- W2653359958 hasConcept C80444323 @default.
- W2653359958 hasConceptScore W2653359958C110251889 @default.
- W2653359958 hasConceptScore W2653359958C112505250 @default.
- W2653359958 hasConceptScore W2653359958C11413529 @default.
- W2653359958 hasConceptScore W2653359958C121332964 @default.
- W2653359958 hasConceptScore W2653359958C153269930 @default.
- W2653359958 hasConceptScore W2653359958C168773769 @default.
- W2653359958 hasConceptScore W2653359958C199360897 @default.
- W2653359958 hasConceptScore W2653359958C25016198 @default.
- W2653359958 hasConceptScore W2653359958C2776235265 @default.
- W2653359958 hasConceptScore W2653359958C2777027219 @default.
- W2653359958 hasConceptScore W2653359958C2778029271 @default.
- W2653359958 hasConceptScore W2653359958C2779662365 @default.
- W2653359958 hasConceptScore W2653359958C33923547 @default.
- W2653359958 hasConceptScore W2653359958C41008148 @default.
- W2653359958 hasConceptScore W2653359958C62520636 @default.
- W2653359958 hasConceptScore W2653359958C6943359 @default.
- W2653359958 hasConceptScore W2653359958C80444323 @default.
- W2653359958 hasLocation W26533599581 @default.
- W2653359958 hasOpenAccess W2653359958 @default.
- W2653359958 hasPrimaryLocation W26533599581 @default.
- W2653359958 hasRelatedWork W1551070491 @default.
- W2653359958 hasRelatedWork W1597089137 @default.
- W2653359958 hasRelatedWork W1597499909 @default.
- W2653359958 hasRelatedWork W1812178757 @default.
- W2653359958 hasRelatedWork W1975657455 @default.
- W2653359958 hasRelatedWork W2003378122 @default.
- W2653359958 hasRelatedWork W2013878945 @default.
- W2653359958 hasRelatedWork W2014238235 @default.
- W2653359958 hasRelatedWork W2015307578 @default.
- W2653359958 hasRelatedWork W2020617153 @default.
- W2653359958 hasRelatedWork W2031315747 @default.
- W2653359958 hasRelatedWork W2081883656 @default.
- W2653359958 hasRelatedWork W2090612177 @default.
- W2653359958 hasRelatedWork W2405704589 @default.
- W2653359958 hasRelatedWork W2613210537 @default.
- W2653359958 hasRelatedWork W2901054789 @default.
- W2653359958 hasRelatedWork W2902726917 @default.
- W2653359958 hasRelatedWork W2918184689 @default.
- W2653359958 hasRelatedWork W3157619182 @default.
- W2653359958 hasRelatedWork W854522556 @default.
- W2653359958 isParatext "false" @default.
- W2653359958 isRetracted "false" @default.
- W2653359958 magId "2653359958" @default.
- W2653359958 workType "dissertation" @default.