Matches in SemOpenAlex for { <https://semopenalex.org/work/W2949980327> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W2949980327 abstract "We develop a method to control discrete-time systems with constant but initially unknown parameters from linear temporal logic (LTL) specifications. We introduce the notions of (non-deterministic) parametric and adaptive transition systems and show how to use tools from formal methods to compute adaptive control strategies for finite systems. For infinite systems, we first compute abstractions in the form of parametric finite quotient transition systems and then apply the techniques for finite systems. Unlike traditional adaptive control methods, our approach is correct by design, does not require a reference model, and can deal with a much wider range of systems and specifications. Illustrative case studies are included." @default.
- W2949980327 created "2019-06-27" @default.
- W2949980327 creator A5034408879 @default.
- W2949980327 creator A5086742095 @default.
- W2949980327 date "2017-03-22" @default.
- W2949980327 modified "2023-09-27" @default.
- W2949980327 title "Formal Methods for Adaptive Control of Dynamical Systems" @default.
- W2949980327 cites W1498432697 @default.
- W2949980327 cites W1983481903 @default.
- W2949980327 cites W1986024064 @default.
- W2949980327 cites W2006859604 @default.
- W2949980327 cites W2038798729 @default.
- W2949980327 cites W2067603665 @default.
- W2949980327 cites W2078151802 @default.
- W2949980327 cites W2087107980 @default.
- W2949980327 cites W2090167557 @default.
- W2949980327 cites W2098898086 @default.
- W2949980327 cites W2108484001 @default.
- W2949980327 cites W2110028669 @default.
- W2949980327 cites W2126064147 @default.
- W2949980327 cites W2267031095 @default.
- W2949980327 cites W2478068630 @default.
- W2949980327 cites W2524638160 @default.
- W2949980327 cites W2594675090 @default.
- W2949980327 cites W2913459036 @default.
- W2949980327 hasPublicationYear "2017" @default.
- W2949980327 type Work @default.
- W2949980327 sameAs 2949980327 @default.
- W2949980327 citedByCount "1" @default.
- W2949980327 countsByYear W29499803272018 @default.
- W2949980327 crossrefType "posted-content" @default.
- W2949980327 hasAuthorship W2949980327A5034408879 @default.
- W2949980327 hasAuthorship W2949980327A5086742095 @default.
- W2949980327 hasConcept C105795698 @default.
- W2949980327 hasConcept C107464732 @default.
- W2949980327 hasConcept C11413529 @default.
- W2949980327 hasConcept C117251300 @default.
- W2949980327 hasConcept C121332964 @default.
- W2949980327 hasConcept C127413603 @default.
- W2949980327 hasConcept C146978453 @default.
- W2949980327 hasConcept C154945302 @default.
- W2949980327 hasConcept C199360897 @default.
- W2949980327 hasConcept C199422724 @default.
- W2949980327 hasConcept C202444582 @default.
- W2949980327 hasConcept C204323151 @default.
- W2949980327 hasConcept C2775924081 @default.
- W2949980327 hasConcept C2777027219 @default.
- W2949980327 hasConcept C2779167558 @default.
- W2949980327 hasConcept C33923547 @default.
- W2949980327 hasConcept C41008148 @default.
- W2949980327 hasConcept C62520636 @default.
- W2949980327 hasConcept C79379906 @default.
- W2949980327 hasConceptScore W2949980327C105795698 @default.
- W2949980327 hasConceptScore W2949980327C107464732 @default.
- W2949980327 hasConceptScore W2949980327C11413529 @default.
- W2949980327 hasConceptScore W2949980327C117251300 @default.
- W2949980327 hasConceptScore W2949980327C121332964 @default.
- W2949980327 hasConceptScore W2949980327C127413603 @default.
- W2949980327 hasConceptScore W2949980327C146978453 @default.
- W2949980327 hasConceptScore W2949980327C154945302 @default.
- W2949980327 hasConceptScore W2949980327C199360897 @default.
- W2949980327 hasConceptScore W2949980327C199422724 @default.
- W2949980327 hasConceptScore W2949980327C202444582 @default.
- W2949980327 hasConceptScore W2949980327C204323151 @default.
- W2949980327 hasConceptScore W2949980327C2775924081 @default.
- W2949980327 hasConceptScore W2949980327C2777027219 @default.
- W2949980327 hasConceptScore W2949980327C2779167558 @default.
- W2949980327 hasConceptScore W2949980327C33923547 @default.
- W2949980327 hasConceptScore W2949980327C41008148 @default.
- W2949980327 hasConceptScore W2949980327C62520636 @default.
- W2949980327 hasConceptScore W2949980327C79379906 @default.
- W2949980327 hasLocation W29499803271 @default.
- W2949980327 hasOpenAccess W2949980327 @default.
- W2949980327 hasPrimaryLocation W29499803271 @default.
- W2949980327 hasRelatedWork W108151954 @default.
- W2949980327 hasRelatedWork W160316085 @default.
- W2949980327 hasRelatedWork W1975255760 @default.
- W2949980327 hasRelatedWork W1978759380 @default.
- W2949980327 hasRelatedWork W1998079648 @default.
- W2949980327 hasRelatedWork W2057518119 @default.
- W2949980327 hasRelatedWork W2067733097 @default.
- W2949980327 hasRelatedWork W2091691192 @default.
- W2949980327 hasRelatedWork W2094599695 @default.
- W2949980327 hasRelatedWork W2591854757 @default.
- W2949980327 hasRelatedWork W2602683801 @default.
- W2949980327 hasRelatedWork W2756807275 @default.
- W2949980327 hasRelatedWork W2885511415 @default.
- W2949980327 hasRelatedWork W2902006926 @default.
- W2949980327 hasRelatedWork W2949071741 @default.
- W2949980327 hasRelatedWork W2952918945 @default.
- W2949980327 hasRelatedWork W2963172692 @default.
- W2949980327 hasRelatedWork W2963857949 @default.
- W2949980327 hasRelatedWork W2968093802 @default.
- W2949980327 hasRelatedWork W3099300391 @default.
- W2949980327 isParatext "false" @default.
- W2949980327 isRetracted "false" @default.
- W2949980327 magId "2949980327" @default.
- W2949980327 workType "article" @default.