Zobrazeno 1 - 10
of 103
pro vyhledávání: '"Paul Kröger"'
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 308, Iss Proc. CREST 2019, Pp 47-65 (2019)
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this se
Externí odkaz:
https://doaj.org/article/60c347bdebd64e3fa6ad78319a759a17
Publikováno v:
Algorithms, Vol 15, Iss 4, p 126 (2022)
Signal Temporal Logic is a linear-time temporal logic designed for classifying the time-dependent signals originating from continuous-state or hybrid-state dynamical systems according to formal specifications. It has been conceived as a tool for syst
Externí odkaz:
https://doaj.org/article/a6c4565e3e944fc5b7342a59286207a8
Autor:
Paul Kröger, Martin Fränzle
Publikováno v:
it - Information Technology. 63:265-275
Hybrid system dynamics arises when discrete actions meet continuous behaviour due to physical processes and continuous control. A natural domain of such systems are emerging smart technologies which add elements of intelligence, co-operation, and ada
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::b065f2d77611449bf14e1d8c17715454
https://doi.org/10.1515/itit-2021-0008
https://doi.org/10.1515/itit-2021-0008
Publikováno v:
it - Information Technology. 63:249-251
This special issue presents seven overview articles on research conducted in the Research Training Group “System Correctness under Adverse Conditions” (SCARE) at the University of Oldenburg.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::1a22663d202aa4bee63d085d8ec0b70b
https://doi.org/10.1515/itit-2021-0043
https://doi.org/10.1515/itit-2021-0043
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 308, Iss Proc. CREST 2019, Pp 47-65 (2019)
CREST@ETAPS
CREST@ETAPS
We study conflict situations that dynamically arise in traffic scenarios, where different agents try to achieve their set of goals and have to decide on what to do based on their local perception. We distinguish several types of conflicts for this se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::00d4de22052a9807dcc0748a9128c5c7
https://doaj.org/article/60c347bdebd64e3fa6ad78319a759a17
https://doaj.org/article/60c347bdebd64e3fa6ad78319a759a17
Publikováno v:
ACM SIGLOG News. 6:19-39
Hybrid automata are an elegant formal model seamlessly integrating differential equations representing continuous dynamics with automata capturing switching behavior. Since the introduction of the computational model more than a quarter of a century
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::de30a63dc21ab59ecbdfd5c13c29489d
https://doi.org/10.1145/3313909.3313913
https://doi.org/10.1145/3313909.3313913
Autor:
Paul Kröger, Martin Fränzle
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030614669
ISoLA (3)
ISoLA (3)
Emerging smart technologies add elements of intelligence, cooperation, and adaptivity to physical entities, enabling them to interact with each other and with humans as systems of (human-)cyber-physical systems or (H)CPSes. Hybrid automata, in their
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::8f7e882c989c04029c38514e7a867b2e
https://doi.org/10.1007/978-3-030-61467-6_17
https://doi.org/10.1007/978-3-030-61467-6_17
Autor:
Martin Fränzle, Paul Kröger
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030014605
Symposium on Real-Time and Hybrid Systems
Symposium on Real-Time and Hybrid Systems
Hybrid discrete-continuous system dynamics arises when discrete actions, e.g. by a decision algorithm, meet continuous behaviour, e.g. due to physical processes and continuous control. Various flavours of hybrid automata have been suggested as a mean
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0a03977ed298a00e120b028a7606fdf4
https://doi.org/10.1007/978-3-030-01461-2_9
https://doi.org/10.1007/978-3-030-01461-2_9
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783319229744
FORMATS
FORMATS
Technical systems interacting with the real world can be elegantly modelled using probabilistic hybrid automata (PHA). Parametric probabilistic hybrid automata are dynamical systems featuring hybrid discrete-continuous dynamics and parametric probabi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9d3222c2745e10097a45d98cecafe08b
https://doi.org/10.1007/978-3-319-22975-1_7
https://doi.org/10.1007/978-3-319-22975-1_7
Autor:
Finkbeiner, Bernd1 (AUTHOR) finkbeiner@cispa.de, Fränzle, Martin2 (AUTHOR) martin.fraenzle@uol.de, Kohn, Florian1 (AUTHOR) florian.kohn@cispa.de, Kröger, Paul2 (AUTHOR)
Publikováno v:
Algorithms. Apr2022, Vol. 15 Issue 4, pN.PAG-N.PAG. 17p.