Zobrazeno 1 - 10
of 15
pro vyhledávání: '"Adel Dokhanchi"'
Publikováno v:
ACM Transactions on Embedded Computing Systems. 17:1-26
A framework for the elicitation and debugging of formal specifications for Cyber-Physical Systems is presented. The elicitation of specifications is handled through a graphical interface. Two debugging algorithms are presented. The first checks for e
Publikováno v:
Electronic Proceedings in Theoretical Computer Science. 232:13-16
Autor:
Georgios Fainekos, Adel Dokhanchi, Mohammad Hekmatnejad, Shakiba Yaghoubi, Heni Ben Amor, Aviral Shrivastava, Lina J. Karam
Publikováno v:
MEMOCODE
As Automated Vehicles (AV) get ready to hit the public roads unsupervised, many practical questions still remain open. For example, there is no commonly acceptable formal definition of what safe driving is. A formal definition of safe driving can be
Autor:
Xin Qin, Anand Balakrishnan, Aniruddh G. Puranic, Jyotirmoy V. Deshmukh, Heni Ben Amor, Adel Dokhanchi, Georgios Fainekos
Publikováno v:
DATE
Robust perception algorithms are a vital ingredient for autonomous systems such as self-driving vehicles. Checking the correctness of perception algorithms such as those based on deep convolutional neural networks (CNN) is a formidable challenge prob
Autor:
Adel Dokhanchi, Shakiba Yaghoubi, Georgios Fainekos, Gidon Ernst, Bardh Hoxha, Sean Sedwards, Ichiro Hasuo, Zhenya Zhang, Paolo Arcaini
Publikováno v:
ARCH@ADHS
This report presents the outcomes of the 2018 friendly competition in the ARCH workshop for the category of falsification of temporal logic specifications over Cyber-Physical Systems.
Publikováno v:
ARCH@CPSWeek
This report presents some preliminary base results from the 2017 friendly competition in the ARCH workshop for the falsification of temporal logic specifications over Cyber-Physical Systems. The benchmarks are available on the ARCH website. In this r
Publikováno v:
Runtime Verification ISBN: 9783030037680
RV
RV
For reliable situation awareness in autonomous vehicle applications, we need to develop robust and reliable image processing and machine learning algorithms. Currently, there is no general framework for reasoning about the performance of perception s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::842e59498fd53da867dd72ecae024ba6
https://doi.org/10.1007/978-3-030-03769-7_23
https://doi.org/10.1007/978-3-030-03769-7_23
Publikováno v:
CASE
We propose a method to improve the automated test case generation for Metric Temporal Logic (MTL) falsification for Cyber-Physical Systems (CPS). In this work, we focus on request-response MTL specifications. That is, specifications that consist of a
Publikováno v:
MEMOCODE
We provide a dynamic programming algorithm for the monitoring of a fragment of Timed Propositional Temporal Logic (TPTL) specifications. This fragment of TPTL, which is more expressive than Metric Temporal Logic, is characterized by independent time
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c769631e954b6e1b9805947c1a444361
http://arxiv.org/abs/1612.03140
http://arxiv.org/abs/1612.03140
Publikováno v:
IEICE Transactions on Electronics. :1610-1619