Matches in SemOpenAlex for { <https://semopenalex.org/work/W3203511922> ?p ?o ?g. }
- W3203511922 endingPage "5086" @default.
- W3203511922 startingPage "5071" @default.
- W3203511922 abstract "We propose algorithms for performing model checking and control synthesis for discrete-time uncertain systems under linear temporal logic (LTL) specifications. We construct temporal logic trees (TLTs) from LTL formulae via reachability analysis. In contrast to automaton-based methods, the construction of the TLT is abstraction-free for infinite systems; that is, we do not construct discrete abstractions of the infinite systems. Moreover, for a given transition system and an LTL formula, we prove that there exist both a universal TLT and an existential TLT via minimal and maximal reachability analysis, respectively. We show that the universal TLT is an underapproximation for the LTL formula and the existential TLT is an overapproximation. We provide sufficient conditions and necessary conditions to verify whether a transition system satisfies an LTL formula by using the TLT approximations. As a major contribution of this work, for a controlled transition system and an LTL formula, we prove that a controlled TLT can be constructed from the LTL formula via a control-dependent reachability analysis. Based on the controlled TLT, we design an online control synthesis algorithm, under which a set of feasible control inputs can be generated at each time step. We also prove that this algorithm is recursively feasible. We illustrate the proposed methods for both finite and infinite systems and highlight the generality and online scalability with two simulated examples." @default.
- W3203511922 created "2021-10-11" @default.
- W3203511922 creator A5012777183 @default.
- W3203511922 creator A5021346967 @default.
- W3203511922 creator A5025731189 @default.
- W3203511922 creator A5045975901 @default.
- W3203511922 creator A5058973098 @default.
- W3203511922 creator A5091718585 @default.
- W3203511922 date "2022-10-01" @default.
- W3203511922 modified "2023-10-03" @default.
- W3203511922 title "Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-Time Systems" @default.
- W3203511922 cites W1512310098 @default.
- W3203511922 cites W1524886571 @default.
- W3203511922 cites W1582899597 @default.
- W3203511922 cites W17866615 @default.
- W3203511922 cites W1791240938 @default.
- W3203511922 cites W1862398452 @default.
- W3203511922 cites W1999016870 @default.
- W3203511922 cites W2011979623 @default.
- W3203511922 cites W2047671935 @default.
- W3203511922 cites W2064572756 @default.
- W3203511922 cites W2067202372 @default.
- W3203511922 cites W2095901198 @default.
- W3203511922 cites W2098682681 @default.
- W3203511922 cites W2109082753 @default.
- W3203511922 cites W2129226651 @default.
- W3203511922 cites W2134488020 @default.
- W3203511922 cites W2158345050 @default.
- W3203511922 cites W2162269500 @default.
- W3203511922 cites W2165489953 @default.
- W3203511922 cites W2165748475 @default.
- W3203511922 cites W2167185915 @default.
- W3203511922 cites W2169289043 @default.
- W3203511922 cites W2487779201 @default.
- W3203511922 cites W2568545994 @default.
- W3203511922 cites W2594675090 @default.
- W3203511922 cites W2783766106 @default.
- W3203511922 cites W2936953762 @default.
- W3203511922 cites W2946780124 @default.
- W3203511922 cites W2952454357 @default.
- W3203511922 cites W2953102567 @default.
- W3203511922 cites W2963193519 @default.
- W3203511922 cites W2963606896 @default.
- W3203511922 cites W2977566895 @default.
- W3203511922 cites W2986389262 @default.
- W3203511922 cites W3010663763 @default.
- W3203511922 cites W3044908040 @default.
- W3203511922 cites W3104654558 @default.
- W3203511922 cites W3154761769 @default.
- W3203511922 cites W4240244556 @default.
- W3203511922 doi "https://doi.org/10.1109/tac.2021.3118335" @default.
- W3203511922 hasPublicationYear "2022" @default.
- W3203511922 type Work @default.
- W3203511922 sameAs 3203511922 @default.
- W3203511922 citedByCount "2" @default.
- W3203511922 countsByYear W32035119222020 @default.
- W3203511922 countsByYear W32035119222022 @default.
- W3203511922 crossrefType "journal-article" @default.
- W3203511922 hasAuthorship W3203511922A5012777183 @default.
- W3203511922 hasAuthorship W3203511922A5021346967 @default.
- W3203511922 hasAuthorship W3203511922A5025731189 @default.
- W3203511922 hasAuthorship W3203511922A5045975901 @default.
- W3203511922 hasAuthorship W3203511922A5058973098 @default.
- W3203511922 hasAuthorship W3203511922A5091718585 @default.
- W3203511922 hasBestOaLocation W32035119222 @default.
- W3203511922 hasConcept C105795698 @default.
- W3203511922 hasConcept C110251889 @default.
- W3203511922 hasConcept C112505250 @default.
- W3203511922 hasConcept C11413529 @default.
- W3203511922 hasConcept C118615104 @default.
- W3203511922 hasConcept C136643341 @default.
- W3203511922 hasConcept C165753454 @default.
- W3203511922 hasConcept C194525867 @default.
- W3203511922 hasConcept C198008173 @default.
- W3203511922 hasConcept C25016198 @default.
- W3203511922 hasConcept C2779167558 @default.
- W3203511922 hasConcept C33923547 @default.
- W3203511922 hasConcept C41008148 @default.
- W3203511922 hasConcept C4777664 @default.
- W3203511922 hasConcept C55689738 @default.
- W3203511922 hasConcept C80444323 @default.
- W3203511922 hasConceptScore W3203511922C105795698 @default.
- W3203511922 hasConceptScore W3203511922C110251889 @default.
- W3203511922 hasConceptScore W3203511922C112505250 @default.
- W3203511922 hasConceptScore W3203511922C11413529 @default.
- W3203511922 hasConceptScore W3203511922C118615104 @default.
- W3203511922 hasConceptScore W3203511922C136643341 @default.
- W3203511922 hasConceptScore W3203511922C165753454 @default.
- W3203511922 hasConceptScore W3203511922C194525867 @default.
- W3203511922 hasConceptScore W3203511922C198008173 @default.
- W3203511922 hasConceptScore W3203511922C25016198 @default.
- W3203511922 hasConceptScore W3203511922C2779167558 @default.
- W3203511922 hasConceptScore W3203511922C33923547 @default.
- W3203511922 hasConceptScore W3203511922C41008148 @default.
- W3203511922 hasConceptScore W3203511922C4777664 @default.
- W3203511922 hasConceptScore W3203511922C55689738 @default.
- W3203511922 hasConceptScore W3203511922C80444323 @default.
- W3203511922 hasFunder F4320312933 @default.