Zobrazeno 1 - 10
of 25
pro vyhledávání: '"Nikos Arechiga"'
Publikováno v:
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::fa0461fe6a8d1a014416057c0885c244
https://doi.org/10.1145/3575870.3589549
https://doi.org/10.1145/3575870.3589549
Publikováno v:
2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::844763345b748631e236165fcd7db509
https://doi.org/10.1109/itsc55140.2022.9922370
https://doi.org/10.1109/itsc55140.2022.9922370
Publikováno v:
Algorithmic Foundations of Robotics XIV ISBN: 9783030667221
WAFR
WAFR
This paper presents a technique, named stlcg, to compute the quantitative semantics of Signal Temporal Logic (STL) formulas using computation graphs. stlcg provides a platform which enables the incorporation of logical specifications into robotics pr
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::265a77d6baea7bfb92fc3f4835ea39c0
https://doi.org/10.1007/978-3-030-66723-8_26
https://doi.org/10.1007/978-3-030-66723-8_26
Publikováno v:
ITSC
We present an approach to interpret parameterized policies through the lens of Signal Temporal Logic (STL). By providing a formally-specified description of desired behaviors we want the policy to produce, we can identify clusters in the parameter sp
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::454dfe57592b7987d989e3ce46687511
https://doi.org/10.1109/itsc45102.2020.9294442
https://doi.org/10.1109/itsc45102.2020.9294442
Publikováno v:
International Journal on Software Tools for Technology Transfer. 23:827-827
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::edef5ec18d6c233bd72bbdf2ad8ad757
https://doi.org/10.1007/s10009-021-00643-x
https://doi.org/10.1007/s10009-021-00643-x
Publikováno v:
2019 IEEE Intelligent Vehicles Symposium (IV).
This paper proposes a method to evaluate Signal Temporal Logic (STL) robustness formulas using computation graphs. This method results in efficient computations and enables the use of backpropagation for optimizing over STL parameters. Inferring STL
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::293b17b931591c586f549b6eef7634b0
https://doi.org/10.1109/ivs.2019.8814167
https://doi.org/10.1109/ivs.2019.8814167
Autor:
Nikos Arechiga
Publikováno v:
2019 IEEE Intelligent Vehicles Symposium (IV).
We develop a set of contracts for autonomous control software that ensures that if all traffic participants follow the contracts, the overall traffic system will be collision-free. We express our contracts in Signal Temporal Logic (STL), a lightweigh
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e5c33d52a8436a5a2797456fa58e9dc7
https://doi.org/10.1109/ivs.2019.8813875
https://doi.org/10.1109/ivs.2019.8813875
Autor:
Sicun Gao, Armando Solar-Lezama, Nikos Arechiga, Nima Roohi, Jyotirmoy V. Deshmukh, Soonho Kong, James Kapinski
Publikováno v:
Computer Aided Verification ISBN: 9783030255428
CAV (2)
CAV (2)
We formulate numerically-robust inductive proof rules for unbounded stability and safety properties of continuous dynamical systems. These induction rules robustify standard notions of Lyapunov functions and barrier certificates so that they can tole
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::cc5de8be2f7af4e391252c7785eaaa80
https://doi.org/10.1007/978-3-030-25543-5_9
https://doi.org/10.1007/978-3-030-25543-5_9
Autor:
Jason Scott, Masahiro Yamaura, Ted Bapty, Sandeep Neema, Shinichi Shiraishi, Nikos Arechiga, Scott Eisele, Joseph Hite
Publikováno v:
SAE International Journal of Passenger Cars - Electronic and Electrical Systems. 9:22-29
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::65d14171642ce4a04e0ee7063a609ee9
https://doi.org/10.4271/2016-01-0002
https://doi.org/10.4271/2016-01-0002
Publikováno v:
International Journal on Software Tools for Technology Transfer. 18:67-91
This paper is a tutorial on how to model hybrid systems as hybrid programs in differential dynamic logic and how to prove complex properties about these complex hybrid systems in KeYmaera, an automatic and interactive formal verification tool for hyb
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::f01c17e88725fb365994110c266c1005
https://doi.org/10.1007/s10009-015-0367-0
https://doi.org/10.1007/s10009-015-0367-0