Zobrazeno 1 - 10
of 185
pro vyhledávání: '"Peled, Doron A."'
Autor:
AbdElSalam, Mohamed, Ali, Loai, Bensalem, Saddek, He, Weicheng, Katsaros, Panagiotis, Kekatos, Nikolaos, Peled, Doron, Temperekidis, Anastasios, Wu, Changshun
In this paper, we present a novel digital twin prototype for a learning-enabled self-driving vehicle. The primary objective of this digital twin is to perform traffic sign recognition and lane keeping. The digital twin architecture relies on co-simul
Externí odkaz:
http://arxiv.org/abs/2402.09097
Autor:
Katz, Gal, Peled, Doron
Publikováno v:
EPTCS 140, 2014, pp. 70-84
Formal methods apply algorithms based on mathematical principles to enhance the reliability of systems. It would only be natural to try to progress from verification, model checking or testing a system against its formal specification into constructi
Externí odkaz:
http://arxiv.org/abs/1402.6785
Publikováno v:
EPTCS 96, 2012, pp. 15-28
Our goal is to achieve a high degree of fault tolerance through the control of a safety critical systems. This reduces to solving a game between a malicious environment that injects failures and a controller who tries to establish a correct behavior.
Externí odkaz:
http://arxiv.org/abs/1210.2449
Autor:
Peled, Doron, Schewe, Sven
Publikováno v:
EPTCS 84, 2012
This volume contains the proceedings of the First Workshop on Synthesis (SYNT 2012). The workshop is held is held in Berkeley, California, on June 6th and 7th, as a satellite event to the 24th International Conference on Computer Aided Verification (
Externí odkaz:
http://arxiv.org/abs/1207.0554
Synthesis of correct by design systems from specification has recently attracted much attention. The theoretical results imply that this problem is highly intractable, e.g., synthesizing a system is 2EXPTIME-complete for an LTL specification, and EXP
Externí odkaz:
http://arxiv.org/abs/1202.5449
Autor:
Peled, Doron, Schewe, Sven
Publikováno v:
EPTCS 73, 2011, pp. 2-17
Classic distributed control problems have an interesting dichotomy: they are either trivial or undecidable. If we allow the controllers to fully synchronize, then synthesis is trivial. In this case, controllers can effectively act as a single control
Externí odkaz:
http://arxiv.org/abs/1111.3106
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 Journal of Computer and System Sciences November 2015 81(7):1171-1193
Autor:
Bensalem, Saddek, Cheng, Chih-Hong, Huang, Xiaowei, Katsaros, Panagiotis, Molin, Adam, Nickovic, Dejan, Peled, Doron
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031212215
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Lecture Notes in Computer Science
Lecture Notes in Computer Science-Software Verification and Formal Methods for ML-Enabled Autonomous Systems
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::11228a46e7f85c2181e9f7478d4bbd18
https://doi.org/10.1007/978-3-031-21222-2_8
https://doi.org/10.1007/978-3-031-21222-2_8