FRINK Linked Data Fragments server

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

• W1796008344 endingPage "377" @default.
• W1796008344 startingPage "362" @default.
• W1796008344 abstract "Symbolic approaches to control hybrid systems construct a discrete approximately-bisimilar abstraction of a continuous control system and apply automata-theoretic techniques to construct controllers enforcing given specifications. For the class of digital control systems (i.e., whose control signals are piecewise constant) satisfying incremental input-to-state stability (δ-ISS), existing techniques to compute discrete abstractions begin with a quantization of the state and input sets, and show that the quantized system is approximately bisimilar to the original if the sampling time is sufficiently large or if the Lyapunov functions of the system decrease fast enough. If the sampling time is not sufficiently large, the former technique fails to apply. While abstraction based on Lyapunov functions may be applicable, because of the conservative nature of Lyapunov functions in practice, the size of the discrete abstraction may be too large for subsequent analyses.In this paper, we propose a technique to compute discrete approximately-bisimilar abstractions of δ-ISS digital control systems. Our technique quantizes the state and input sets, but is based on multiple sampling steps: instead of requiring that the sampling time is sufficiently large (which may not hold), the abstract transition system relates states multiple sampling steps apart.We show on practical examples that the discrete state sets computed by our procedure can be several orders of magnitude smaller than existing approaches, and can compute symbolic approximate-bisimilar models even when other existing approaches do not apply or time-out. Since the size of the discrete state set is the main limiting factor in the application of symbolic control, our results enable symbolic control of larger systems than was possible before." @default.
• W1796008344 created "2016-06-24" @default.
• W1796008344 creator A5030109984 @default.
• W1796008344 creator A5081010207 @default.
• W1796008344 date "2012-01-01" @default.
• W1796008344 modified "2023-10-16" @default.
• W1796008344 title "Approximately Bisimilar Symbolic Models for Digital Control Systems" @default.
• W1796008344 cites W1481109946 @default.
• W1796008344 cites W1515514400 @default.
• W1796008344 cites W1569692898 @default.
• W1796008344 cites W1972945640 @default.
• W1796008344 cites W2011979623 @default.
• W1796008344 cites W2035309264 @default.
• W1796008344 cites W2042835403 @default.
• W1796008344 cites W2079042739 @default.
• W1796008344 cites W2101508170 @default.
• W1796008344 cites W2117079884 @default.
• W1796008344 cites W2144965436 @default.
• W1796008344 cites W2165748475 @default.
• W1796008344 cites W2176215692 @default.
• W1796008344 cites W2487779201 @default.
• W1796008344 cites W27464976 @default.
• W1796008344 cites W2963372593 @default.
• W1796008344 cites W4239216443 @default.
• W1796008344 doi "https://doi.org/10.1007/978-3-642-31424-7_28" @default.
• W1796008344 hasPublicationYear "2012" @default.
• W1796008344 type Work @default.
• W1796008344 sameAs 1796008344 @default.
• W1796008344 citedByCount "28" @default.
• W1796008344 countsByYear W17960083442012 @default.
• W1796008344 countsByYear W17960083442013 @default.
• W1796008344 countsByYear W17960083442014 @default.
• W1796008344 countsByYear W17960083442015 @default.
• W1796008344 countsByYear W17960083442016 @default.
• W1796008344 countsByYear W17960083442018 @default.
• W1796008344 countsByYear W17960083442020 @default.
• W1796008344 countsByYear W17960083442022 @default.
• W1796008344 countsByYear W17960083442023 @default.
• W1796008344 crossrefType "book-chapter" @default.
• W1796008344 hasAuthorship W1796008344A5030109984 @default.
• W1796008344 hasAuthorship W1796008344A5081010207 @default.
• W1796008344 hasBestOaLocation W17960083441 @default.
• W1796008344 hasConcept C154945302 @default.
• W1796008344 hasConcept C2775924081 @default.
• W1796008344 hasConcept C41008148 @default.
• W1796008344 hasConceptScore W1796008344C154945302 @default.
• W1796008344 hasConceptScore W1796008344C2775924081 @default.
• W1796008344 hasConceptScore W1796008344C41008148 @default.
• W1796008344 hasLocation W17960083441 @default.
• W1796008344 hasOpenAccess W1796008344 @default.
• W1796008344 hasPrimaryLocation W17960083441 @default.
• W1796008344 hasRelatedWork W2018297885 @default.
• W1796008344 hasRelatedWork W2049775471 @default.
• W1796008344 hasRelatedWork W2093578348 @default.
• W1796008344 hasRelatedWork W2350741829 @default.
• W1796008344 hasRelatedWork W2358668433 @default.
• W1796008344 hasRelatedWork W2376932109 @default.
• W1796008344 hasRelatedWork W2382290278 @default.
• W1796008344 hasRelatedWork W2390279801 @default.
• W1796008344 hasRelatedWork W2748952813 @default.
• W1796008344 hasRelatedWork W2899084033 @default.
• W1796008344 isParatext "false" @default.
• W1796008344 isRetracted "false" @default.
• W1796008344 magId "1796008344" @default.
• W1796008344 workType "book-chapter" @default.