Zobrazeno 1 - 10
of 20
pro vyhledávání: '"Hisahiro Ito"'
Publikováno v:
IEEE Transactions on Intelligent Vehicles. 5:265-280
Autonomous vehicles are complex systems that are challenging to test and debug. A requirements-driven approach to the development process can decrease the resources required to design and test these systems, while simultaneously increasing the reliab
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::338b74b99028cd9daef5bc65c5440876
https://doi.org/10.1109/tiv.2019.2955903
https://doi.org/10.1109/tiv.2019.2955903
Publikováno v:
HSCC
Safety and security are major concerns in the development of Cyber-Physical Systems (CPS). Signal temporal logic (STL) was proposed as a language to specify and monitor the correctness of CPS relative to formalized requirements. Incorporating STL int
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0cd657357aaccff6eac820d89e079097
https://doi.org/10.1145/3302504.3311800
https://doi.org/10.1145/3302504.3311800
Publikováno v:
IEEE Control Systems. 36:45-64
Designers of industrial embedded control systems, such as automotive, aerospace, and medical-device control systems, use verification and testing activities to increase their confidence that performance requirements and safety standards are met. Sinc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::9841feb162df316caa1085e00499b2f7
https://doi.org/10.1109/mcs.2016.2602089
https://doi.org/10.1109/mcs.2016.2602089
Autor:
Betsy Brotherton, Yuichiro Tsunemi, Hiromu Yoshiie, Makoto Kawashima, Hisahiro Ito, Ryoji Tsuboi, Michael J. Manyak, Ryokichi Irisawa
Publikováno v:
The Journal of Dermatology. 43:1051-1058
Androgenetic alopecia is an androgen-induced pattern of progressive hair loss, which occurs in genetically predisposed people. This study aimed to determine long-term safety, tolerability and efficacy of dutasteride 0.5 mg, an inhibitor of 5-α-reduc
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::4dafa15f7262546b58e7801c32001164
https://doi.org/10.1111/1346-8138.13310
https://doi.org/10.1111/1346-8138.13310
Publikováno v:
DAC
We present a simulation-based approach for generating barrier certificate functions for safety verification of cyber-physical systems (CPS) that contain neural network-based controllers. A linear programming solver is utilized to find a candidate gen
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9fe3074219b53422e7279bfe699a07a1
https://doi.org/10.1145/3195970.3199852
https://doi.org/10.1145/3195970.3199852
Publikováno v:
2018 55th ACM/ESDA/IEEE Design Automation Conference (DAC).
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4983a33c341665413529b8ff37ae97dd
https://doi.org/10.1109/dac.2018.8465843
https://doi.org/10.1109/dac.2018.8465843
Publikováno v:
Intelligent Vehicles Symposium
Many organizations are developing autonomous driving systems, which are expected to be deployed at a large scale in the near future. Despite this, there is a lack of agreement on appropriate methods to test, debug, and certify the performance of thes
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2d76dd554b45464c5744d07d588dcc08
https://doi.org/10.1109/ivs.2018.8500421
https://doi.org/10.1109/ivs.2018.8500421
Publikováno v:
HSCC
One of the main challenges in testing autonomous driving systems is the presence of machine learning components, such as neural networks, for which formal properties are difficult to establish. We present a simulation-based testing framework that sup
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::bca4b9054ff8cacafd71a7879f03b715
https://doi.org/10.1145/3178126.3187004
https://doi.org/10.1145/3178126.3187004
Autor:
Hisahiro Ito, Yuzhen Xie, Jürgen Gerhard, Kevin Walker, James Kapinski, Kenneth R. Butts, Jyotirmoy V. Deshmukh, Xiaoqing Jin, Behzad Samadi
Publikováno v:
ARCH@CPSWeek
We present a benchmark example of an automotive powertrain control system converted to a hybrid system with piecewise-affine (PWA) continuous dynamics. The purpose is to provide an example of an industrial nonlinear system that is amenable to existin
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::d6d1102851bf7877fc6583078c7d85cf
https://doi.org/10.29007/w3x7
https://doi.org/10.29007/w3x7
Publikováno v:
SAE International Journal of Engines. 6:669-679
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::dba4d8eaa936a78be2acb87ce3c0d77e
https://doi.org/10.4271/2013-01-0244
https://doi.org/10.4271/2013-01-0244