Matches in SemOpenAlex for { <https://semopenalex.org/work/W1893117918> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1893117918 abstract "This paper considers the problem of controlling the complexity of the state space abstraction of a deterministic switched affine system, which must satisfy a rich specification, expressed as an Linear Temporal Logic (LTL) formula. We propose a probabilistic approach to the state space abstraction problem that enables a trade-off between complexity and accuracy of the abstraction. Instead of a deterministic finite transition system (DFTS), the state space is abstracted to a Discrete Time Markov Chain (DTMC) using a regular state space partition. The transition relations between the discrete states and the corresponding probabilities are computed based on the Chebyshev radius of the intersection between one-step reachable sets and discrete states. The resulting abstraction is complete, but not minimal, i.e., it introduces some false transitions. In order to refine the abstraction, Monte Carlo Simulation is used, which yields a confidence measure for every transition, besides the assigned probability. Given the product automaton (PA) between the DTMC and Buchi Automaton (BA) associated with the LTL formula, a (optimal) path generation algorithm and a controller synthesis algorithm complete the proposed solution. The application of the developed methodology to a benchmark case study from the literature, i.e., airplane fuel balancing, demonstrates the effectiveness of the approach." @default.
- W1893117918 created "2016-06-24" @default.
- W1893117918 creator A5045512282 @default.
- W1893117918 creator A5064080150 @default.
- W1893117918 date "2015-10-01" @default.
- W1893117918 modified "2023-09-24" @default.
- W1893117918 title "On probabilistic state space abstraction of deterministic switched systems" @default.
- W1893117918 cites W1488462636 @default.
- W1893117918 cites W1531376836 @default.
- W1893117918 cites W1555157918 @default.
- W1893117918 cites W1791240938 @default.
- W1893117918 cites W1993112505 @default.
- W1893117918 cites W2004008894 @default.
- W1893117918 cites W2035991642 @default.
- W1893117918 cites W2088271437 @default.
- W1893117918 cites W2089003125 @default.
- W1893117918 cites W2106993639 @default.
- W1893117918 cites W2110915954 @default.
- W1893117918 cites W2131463591 @default.
- W1893117918 cites W2143251596 @default.
- W1893117918 cites W2150099926 @default.
- W1893117918 cites W2150335178 @default.
- W1893117918 cites W2164451522 @default.
- W1893117918 cites W2121446922 @default.
- W1893117918 doi "https://doi.org/10.1109/icstcc.2015.7321351" @default.
- W1893117918 hasPublicationYear "2015" @default.
- W1893117918 type Work @default.
- W1893117918 sameAs 1893117918 @default.
- W1893117918 citedByCount "0" @default.
- W1893117918 crossrefType "proceedings-article" @default.
- W1893117918 hasAuthorship W1893117918A5045512282 @default.
- W1893117918 hasAuthorship W1893117918A5064080150 @default.
- W1893117918 hasConcept C105795698 @default.
- W1893117918 hasConcept C110251889 @default.
- W1893117918 hasConcept C112505250 @default.
- W1893117918 hasConcept C11413529 @default.
- W1893117918 hasConcept C118615104 @default.
- W1893117918 hasConcept C136643341 @default.
- W1893117918 hasConcept C165753454 @default.
- W1893117918 hasConcept C174784677 @default.
- W1893117918 hasConcept C194525867 @default.
- W1893117918 hasConcept C33923547 @default.
- W1893117918 hasConcept C41008148 @default.
- W1893117918 hasConcept C4777664 @default.
- W1893117918 hasConcept C49937458 @default.
- W1893117918 hasConcept C72434380 @default.
- W1893117918 hasConcept C80444323 @default.
- W1893117918 hasConcept C98763669 @default.
- W1893117918 hasConceptScore W1893117918C105795698 @default.
- W1893117918 hasConceptScore W1893117918C110251889 @default.
- W1893117918 hasConceptScore W1893117918C112505250 @default.
- W1893117918 hasConceptScore W1893117918C11413529 @default.
- W1893117918 hasConceptScore W1893117918C118615104 @default.
- W1893117918 hasConceptScore W1893117918C136643341 @default.
- W1893117918 hasConceptScore W1893117918C165753454 @default.
- W1893117918 hasConceptScore W1893117918C174784677 @default.
- W1893117918 hasConceptScore W1893117918C194525867 @default.
- W1893117918 hasConceptScore W1893117918C33923547 @default.
- W1893117918 hasConceptScore W1893117918C41008148 @default.
- W1893117918 hasConceptScore W1893117918C4777664 @default.
- W1893117918 hasConceptScore W1893117918C49937458 @default.
- W1893117918 hasConceptScore W1893117918C72434380 @default.
- W1893117918 hasConceptScore W1893117918C80444323 @default.
- W1893117918 hasConceptScore W1893117918C98763669 @default.
- W1893117918 hasLocation W18931179181 @default.
- W1893117918 hasOpenAccess W1893117918 @default.
- W1893117918 hasPrimaryLocation W18931179181 @default.
- W1893117918 hasRelatedWork W1591563876 @default.
- W1893117918 hasRelatedWork W1975219867 @default.
- W1893117918 hasRelatedWork W1976952121 @default.
- W1893117918 hasRelatedWork W2003223200 @default.
- W1893117918 hasRelatedWork W2018087463 @default.
- W1893117918 hasRelatedWork W2053807562 @default.
- W1893117918 hasRelatedWork W2076908741 @default.
- W1893117918 hasRelatedWork W2104133609 @default.
- W1893117918 hasRelatedWork W2112280527 @default.
- W1893117918 hasRelatedWork W2148962689 @default.
- W1893117918 hasRelatedWork W2294647483 @default.
- W1893117918 hasRelatedWork W2392173703 @default.
- W1893117918 hasRelatedWork W2484781921 @default.
- W1893117918 hasRelatedWork W2528640751 @default.
- W1893117918 hasRelatedWork W2607115544 @default.
- W1893117918 hasRelatedWork W2914493460 @default.
- W1893117918 hasRelatedWork W3002811560 @default.
- W1893117918 hasRelatedWork W3047472342 @default.
- W1893117918 hasRelatedWork W37462798 @default.
- W1893117918 hasRelatedWork W2052412483 @default.
- W1893117918 isParatext "false" @default.
- W1893117918 isRetracted "false" @default.
- W1893117918 magId "1893117918" @default.
- W1893117918 workType "article" @default.