Zobrazeno 1 - 9
of 9
pro vyhledávání: '"Krook, Jonas"'
The safety of automated driving systems must be justified by convincing arguments and supported by compelling evidence to persuade certification agencies, regulatory entities, and the general public to allow the systems on public roads. This persuasi
Externí odkaz:
http://arxiv.org/abs/2210.07798
Cyber-physical systems are often safety-critical and their correctness is crucial, as in the case of automated driving. Using formal mathematical methods is one way to guarantee correctness. Though these methods have shown their usefulness, care must
Externí odkaz:
http://arxiv.org/abs/2207.05854
This paper proposes a method to synthesise controllers for cyber-physical systems such that the controlled systems satisfy specifications given as linear temporal logic formulas. The focus is on systems with disturbance, where future states cannot be
Externí odkaz:
http://arxiv.org/abs/2205.13959
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming February 2024 137
Publikováno v:
In IFAC PapersOnLine 2020 53(4):445-452
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Publikováno v:
In IFAC PapersOnLine 2018 51(7):133-138
Autor:
Ratjen, Björn, Krook, Jonas
Titel: Kund och leverantörsrelationers påverkan på outsourcing vid produktutveckling Författare: Jonas Krook och Björn Ratjen Handledare: Akmal Hyder och Zahra Ahmadi Datum: 2020 – januari Syfte: Syftet med studien är att få en ökad först
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=od_______681::7e561063a698fba57edc7eb0ae73e5f1
http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-31566
http://urn.kb.se/resolve?urn=urn:nbn:se:hig:diva-31566
Publikováno v:
ICRA
Autonomous vehicles apply pertinent planning and control algorithms under different driving conditions. The mode switch between these algorithms should also be autonomous. On top of the nominal planners, a safe fallback routine is needed to stop the
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::bd854f7a9c5a3b006f2016b711bae76a