Zobrazeno 1 - 10
of 110
pro vyhledávání: '"A. Eddeland"'
Autor:
Eddeland, Johan Lidén, Claessen, Koen, Smallbone, Nicholas, Ramezani, Zahra, Miremadi, Sajed, Åkesson, Knut
Cyber-Physical Systems (CPSs) are systems with both physical and software components, for example cars and industrial robots. Since these systems exhibit both discrete and continuous dynamics, they are complex and it is thus difficult to verify that
Externí odkaz:
http://arxiv.org/abs/1910.08306
Publikováno v:
In IFAC PapersOnLine 2020 53(4):417-422
Publikováno v:
In IFAC PapersOnLine 2018 51(7):408-415
Autor:
Eddeland, Johan *, **, Cepeda, Javier Gil *, Fransen, Rick ***, Miremadi, Sajed *, Fabian, Martin **, Åkesson, Knut **
Publikováno v:
In IFAC PapersOnLine July 2017 50(1):9260-9265
Publikováno v:
25th ACM International Conference on Hybrid Systems: Computation and Control.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::09984bfc19aec008caf30a2d15c32265
https://doi.org/10.1145/3501710.3519521
https://doi.org/10.1145/3501710.3519521
Publikováno v:
IFAC-PapersOnLine. 53:417-422
Cyber-physical systems are typically safety-critical, thus it is crucial to guarantee that they conform to given specifications, that are the properties that the system must fulfill. Optimization-based falsification is a model-based testing method to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::aacfad04979ac350350686ac33384efa
https://doi.org/10.1016/j.ifacol.2021.04.040
https://doi.org/10.1016/j.ifacol.2021.04.040
Publikováno v:
ARCH
In this benchmark proposal, we present a set of large specifications stated in Signal Temporal Logic (STL) intended for use in falsification of Cyber-Physical Systems. The main purpose of the benchmark is for tools that monitor STL specifications to
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::5bee7602c43a2789a4affe1861c986fe
https://doi.org/10.29007/r74f
https://doi.org/10.29007/r74f
Publikováno v:
ARCH
Temporal-logic based falsification of Cyber-Physical Systems is a testing technique used to verify certain behaviours in simulation models, however the problem statement typically requires some model-specific tuning of parameters to achieve optimal r
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::ab12ba50c61463518409ec7fb41ba031
https://doi.org/10.29007/f4vs
https://doi.org/10.29007/f4vs
Publikováno v:
IFAC-PapersOnLine. 51:408-415
We propose a new logic of valued Booleans for writing properties which are not just true or false but compute how severely they are falsified. The logic is reminiscent of STL or MTL but gives the tester control over what severity means in the particu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fbd4a415820c0ab2ec1d118c598cc9c6
https://doi.org/10.1016/j.ifacol.2018.06.333
https://doi.org/10.1016/j.ifacol.2018.06.333
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.