FRINK Linked Data Fragments server

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

• W3038240115 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 (TLT) 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 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.
• W3038240115 created "2020-07-10" @default.
• W3038240115 creator A5012777183 @default.
• W3038240115 creator A5021346967 @default.
• W3038240115 creator A5025731189 @default.
• W3038240115 creator A5045975901 @default.
• W3038240115 creator A5058973098 @default.
• W3038240115 creator A5091718585 @default.
• W3038240115 date "2020-07-05" @default.
• W3038240115 modified "2023-10-02" @default.
• W3038240115 title "Temporal Logic Trees for Model Checking and Control Synthesis of Uncertain Discrete-time Systems" @default.
• W3038240115 cites W1483893502 @default.
• W3038240115 cites W1498432697 @default.
• W3038240115 cites W1512310098 @default.
• W3038240115 cites W1524886571 @default.
• W3038240115 cites W1582899597 @default.
• W3038240115 cites W17866615 @default.
• W3038240115 cites W1791240938 @default.
• W3038240115 cites W1862398452 @default.
• W3038240115 cites W1999016870 @default.
• W3038240115 cites W2011979623 @default.
• W3038240115 cites W2046213250 @default.
• W3038240115 cites W2047671935 @default.
• W3038240115 cites W2064572756 @default.
• W3038240115 cites W2067202372 @default.
• W3038240115 cites W2095901198 @default.
• W3038240115 cites W2098682681 @default.
• W3038240115 cites W2129226651 @default.
• W3038240115 cites W2134488020 @default.
• W3038240115 cites W2158345050 @default.
• W3038240115 cites W2162583406 @default.
• W3038240115 cites W2165489953 @default.
• W3038240115 cites W2165748475 @default.
• W3038240115 cites W2167185915 @default.
• W3038240115 cites W2169289043 @default.
• W3038240115 cites W2187041056 @default.
• W3038240115 cites W2568545994 @default.
• W3038240115 cites W2594675090 @default.
• W3038240115 cites W2783766106 @default.
• W3038240115 cites W2911662400 @default.
• W3038240115 cites W2946780124 @default.
• W3038240115 cites W2952454357 @default.
• W3038240115 cites W2953102567 @default.
• W3038240115 cites W2963193519 @default.
• W3038240115 cites W2963606896 @default.
• W3038240115 cites W2986389262 @default.
• W3038240115 cites W3010663763 @default.
• W3038240115 cites W3019573184 @default.
• W3038240115 cites W3044908040 @default.
• W3038240115 cites W3104654558 @default.
• W3038240115 cites W3154761769 @default.
• W3038240115 cites W2067102155 @default.
• W3038240115 doi "https://doi.org/10.48550/arxiv.2007.02271" @default.
• W3038240115 hasPublicationYear "2020" @default.
• W3038240115 type Work @default.
• W3038240115 sameAs 3038240115 @default.
• W3038240115 citedByCount "1" @default.
• W3038240115 countsByYear W30382401152021 @default.
• W3038240115 crossrefType "posted-content" @default.
• W3038240115 hasAuthorship W3038240115A5012777183 @default.
• W3038240115 hasAuthorship W3038240115A5021346967 @default.
• W3038240115 hasAuthorship W3038240115A5025731189 @default.
• W3038240115 hasAuthorship W3038240115A5045975901 @default.
• W3038240115 hasAuthorship W3038240115A5058973098 @default.
• W3038240115 hasAuthorship W3038240115A5091718585 @default.
• W3038240115 hasBestOaLocation W30382401151 @default.
• W3038240115 hasConcept C105795698 @default.
• W3038240115 hasConcept C110251889 @default.
• W3038240115 hasConcept C112505250 @default.
• W3038240115 hasConcept C11413529 @default.
• W3038240115 hasConcept C118615104 @default.
• W3038240115 hasConcept C136643341 @default.
• W3038240115 hasConcept C198008173 @default.
• W3038240115 hasConcept C199360897 @default.
• W3038240115 hasConcept C25016198 @default.
• W3038240115 hasConcept C2779167558 @default.
• W3038240115 hasConcept C2780801425 @default.
• W3038240115 hasConcept C33923547 @default.
• W3038240115 hasConcept C41008148 @default.
• W3038240115 hasConcept C4777664 @default.
• W3038240115 hasConcept C55689738 @default.
• W3038240115 hasConcept C80444323 @default.
• W3038240115 hasConceptScore W3038240115C105795698 @default.
• W3038240115 hasConceptScore W3038240115C110251889 @default.
• W3038240115 hasConceptScore W3038240115C112505250 @default.
• W3038240115 hasConceptScore W3038240115C11413529 @default.
• W3038240115 hasConceptScore W3038240115C118615104 @default.
• W3038240115 hasConceptScore W3038240115C136643341 @default.
• W3038240115 hasConceptScore W3038240115C198008173 @default.
• W3038240115 hasConceptScore W3038240115C199360897 @default.
• W3038240115 hasConceptScore W3038240115C25016198 @default.
• W3038240115 hasConceptScore W3038240115C2779167558 @default.
• W3038240115 hasConceptScore W3038240115C2780801425 @default.
• W3038240115 hasConceptScore W3038240115C33923547 @default.
• W3038240115 hasConceptScore W3038240115C41008148 @default.
• W3038240115 hasConceptScore W3038240115C4777664 @default.
• W3038240115 hasConceptScore W3038240115C55689738 @default.
• W3038240115 hasConceptScore W3038240115C80444323 @default.
• W3038240115 hasLocation W30382401151 @default.
• W3038240115 hasOpenAccess W3038240115 @default.

• next