{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:01:54Z","timestamp":1746331314378,"version":"3.40.4"},"reference-count":41,"publisher":"Institute of Electronics, Information and Communications Engineers (IEICE)","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IEICE Trans. Fundamentals"],"published-print":{"date-parts":[[2025,5,1]]},"DOI":"10.1587\/transfun.2024map0003","type":"journal-article","created":{"date-parts":[[2024,10,21]],"date-time":"2024-10-21T22:10:43Z","timestamp":1729548643000},"page":"691-696","source":"Crossref","is-referenced-by-count":0,"title":["Shield-Based Safe Control with Compensation of Computation Delays of Nonlinear Discrete-Time Systems"],"prefix":"10.1587","volume":"E108.A","author":[{"given":"Toshimitsu","family":"USHIO","sequence":"first","affiliation":[{"name":"Faculty of Science and Technology, Nanzan University"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"532","reference":[{"key":"1","unstructured":"[1] R. Alur, Principles of Cyber-Physical Systems, MIT Press, 2015."},{"key":"2","doi-asserted-by":"publisher","unstructured":"[2] M. Nagumo, \u201c\u00dcber die Lage der Integralkurven gew\u00f6hnlicher Differentialgleichungen,\u201d Proc. Physico-Mathematical Society of Japan, vol.24, pp.551-559, 1942. 10.11429\/ppmsj1919.24.0_551","DOI":"10.11429\/ppmsj1919.24.0_551"},{"key":"3","doi-asserted-by":"publisher","unstructured":"[3] F. Blanchini, \u201cSet invariance in control,\u201d Automatica, vol.35, pp.1747-1767, 1999. 10.1016\/S0005-1098(99)00113-2","DOI":"10.1016\/S0005-1098(99)00113-2"},{"key":"4","doi-asserted-by":"crossref","unstructured":"[4] F. Blanchini and S. Miani, Set-Theoretic Methods in Control, 2nd ed., Birkh\u00e4user, 2015. 10.1007\/978-3-319-17933-9","DOI":"10.1007\/978-3-319-17933-9"},{"key":"5","doi-asserted-by":"publisher","unstructured":"[5] A.D. Ames, X. Xu, J.W. Grizzle, and P. Tabuada, \u201cControl barrier function based quadratic programs for safety critical systems,\u201d IEEE Trans. Autom. Control, vol.62, no.8, pp.3861-3876, 2017. 10.1109\/TAC.2016.2638961","DOI":"10.1109\/TAC.2016.2638961"},{"key":"6","doi-asserted-by":"crossref","unstructured":"[6] A.D. Ames, A. Coogan, M. Egerstedt, G. Notomista, K. Sreenath, and P. Tabuada, \u201cControl barrier functions: Theory and applications,\u201d Proc. 2019 18th European Control Conference, pp.3420-3431, 2019. 10.23919\/ECC.2019.8796030","DOI":"10.23919\/ECC.2019.8796030"},{"key":"7","doi-asserted-by":"publisher","unstructured":"[7] S. Kolathaya and A.D. Ames, \u201cInput-to-state safety with control barrier functions,\u201d IEEE Control Syst. Lett., vol.3, no.1, pp.108-113, 2019. 10.1109\/LCSYS.2018.2853698","DOI":"10.1109\/LCSYS.2018.2853698"},{"key":"8","doi-asserted-by":"publisher","unstructured":"[8] L. Lindemann and D.D. Dimarogonas, \u201cControl barrier functions for signal temporal logic tasks,\u201d IEEE Control Syst. Lett., vol.3, no.1, pp.96-101, 2019. 10.1109\/LCSYS.2018.2853182","DOI":"10.1109\/LCSYS.2018.2853182"},{"key":"9","doi-asserted-by":"publisher","unstructured":"[9] Z. Wu, F. Albalawi, Z. Zhang, J. Zhang, H. Durand, and P.D. Christofides, \u201cControl Lyapunov-barrier function-based model predictive control of nonlinear systems,\u201d Automatica, vol.109, Article no.108508, pp.1-10, 2019. 10.1016\/j.automatica.2019.108508","DOI":"10.1016\/j.automatica.2019.108508"},{"key":"10","doi-asserted-by":"crossref","unstructured":"[10] G. Yang, C. Belta, and R. Tron, \u201cSelf-triggered control for safety critical systems using control barrier functions,\u201d Proc. 2019 American Control Conference, pp.4454-4459, 2019. 10.23919\/ACC.2019.8814657","DOI":"10.23919\/ACC.2019.8814657"},{"key":"11","doi-asserted-by":"publisher","unstructured":"[11] A.J. Taylor, P. Ong, J. Cort\u00ebs, and A.D. Ames, \u201cSafety-critical event triggered control via input-to-state safe barrier functions,\u201d IEEE Control Syst. Lett., vol.5, no.3, pp.749-754, 2021. 10.1109\/LCSYS.2020.3005101","DOI":"10.1109\/LCSYS.2020.3005101"},{"key":"12","doi-asserted-by":"crossref","unstructured":"[12] J. Choi, F. Castaneda, C.J. Tomlin, and K. Sreenath, \u201cReinforcement learning for safety-critical control under model uncertainty, using control Lyapunov function and control barrier functions,\u201d Proc. 2020 Robotics: Science and Systems, 2020.","DOI":"10.15607\/RSS.2020.XVI.088"},{"key":"13","doi-asserted-by":"publisher","unstructured":"[13] W.S. Cortez, D. Oetomo, C. Manzie, and P. Choong, \u201cControl barrier functions for mechanical systems: theory and application to robotic grasping,\u201d IEEE Trans. Control Syst. Technol., vol.29, no.2, pp.530-545, 2021. 10.1109\/TCST.2019.2952317","DOI":"10.1109\/TCST.2019.2952317"},{"key":"14","doi-asserted-by":"crossref","unstructured":"[14] A. Agrawal and K. Sreenath, \u201cDiscrete control barrier functions for safety-critical control of discrete systems with application to bipedal robot navigation,\u201d Proc. 2017 Robotics: Science and Systems, 2017. 10.15607\/RSS.2017.XIII.073","DOI":"10.15607\/RSS.2017.XIII.073"},{"key":"15","doi-asserted-by":"crossref","unstructured":"[15] J. Zheng, B. Zhang, and K. Sreenath, \u201cSafety-critical model predictive control with discrete-time control barrier functions,\u201d Proc. 2021 American Control Conference, pp.3882-3889, 2021. 10.23919\/ACC50511.2021.9483029","DOI":"10.23919\/ACC50511.2021.9483029"},{"key":"16","doi-asserted-by":"publisher","unstructured":"[16] P. Jagtap, S. Soudjani, and M. Zamani, \u201cFormal synthesis of stochastic systems via control barrier certificates,\u201d IEEE Trans. Autom. Control, vol.66, no.7, pp.3097-3110, 2021. 10.1109\/TAC.2020.3013916","DOI":"10.1109\/TAC.2020.3013916"},{"key":"17","doi-asserted-by":"crossref","unstructured":"[17] M. Khajenejad, M. Cavorsi, R. Niu, Q.S. Sze, and Z. Yong, \u201cTractable compositions of discrete-time control barrier functions with application to driving safety control,\u201d Proc. 2021 European Control Conference, pp.1303-1309, 2021. 10.23919\/ECC54610.2021.9655012","DOI":"10.23919\/ECC54610.2021.9655012"},{"key":"18","doi-asserted-by":"publisher","unstructured":"[18] M. Mizoguchi and T. Ushio, \u201cAbstraction-based symbolic control barrier functions for safety-critical embedded systems,\u201d IEEE Control Syst. Lett., vol.6, pp.1436-1441, 2022. 10.1109\/LCSYS.2021.3105716","DOI":"10.1109\/LCSYS.2021.3105716"},{"key":"19","doi-asserted-by":"publisher","unstructured":"[19] M. Mizoguchi and T. Ushio, \u201cAbstraction-based control under quantized observation with approximate opacity using symbolic control barrier functions,\u201d IEEE Control Syst. Lett., vol.6, pp.2222-2227, 2022. 10.1109\/LCSYS.2021.3135082","DOI":"10.1109\/LCSYS.2021.3135082"},{"key":"20","doi-asserted-by":"publisher","unstructured":"[20] X. Tan, W.S. Cortez, and D.V. Dimarogonas, \u201cHigh-order barrier functions: robustness, safety, and performance-critical control,\u201d IEEE Trans. Autom. Control, vol.67, no.6, pp.3021-3028, 2022. 10.1109\/TAC.2021.3089639","DOI":"10.1109\/TAC.2021.3089639"},{"key":"21","doi-asserted-by":"publisher","unstructured":"[21] W. Xiao and C. Belta, \u201cHigh-order control barrier functions,\u201d IEEE Trans. Autom. Control, vol.67, no.7, pp.3655-3662, 2022. 10.1109\/TAC.2021.3105491","DOI":"10.1109\/TAC.2021.3105491"},{"key":"22","doi-asserted-by":"publisher","unstructured":"[22] J. Lin, D.-H. Zhai, Y. Xiong, and Y. Xia, \u201cSafety control for UR-type robotic manipulators via high-order control barrier functions and analytical inverse kinematics,\u201d IEEE Trans. Ind. Electron., vol.71, no.6, pp.6150-6160, 2024. 10.1109\/TIE.2023.3296810","DOI":"10.1109\/TIE.2023.3296810"},{"key":"23","doi-asserted-by":"crossref","unstructured":"[23] H. Ma, X. Zhang, S.E. Li, Z. Lin, Y. Lyu, and S. Zheng, \u201cFeasibility enhancement of constrained receding horizon control using generalized control barrier function,\u201d Proc. 4th IEEE International Conference on Industrial Cyber-Physical Systems, pp.551-557, 2021.","DOI":"10.1109\/ICPS49255.2021.9468220"},{"key":"24","doi-asserted-by":"publisher","unstructured":"[24] Y. Xiong, D.-H. Zhai, M. Tavakoli, and Y. Xia, \u201cDiscrete-time control barrier function: High-order case and adaptive case,\u201d IEEE Trans. Cybern., vol.53, no.5, pp.3231-3239, 2023. 10.1109\/TCYB.2022.3170607","DOI":"10.1109\/TCYB.2022.3170607"},{"key":"25","doi-asserted-by":"crossref","unstructured":"[25] S. Liu, J. Zweng, K. Sreenath, and C.A. Belta, \u201cIterative convex optimization for model predictive control with discrete-time high-order control barrier functions,\u201d Proc. 2023 American Control Conference, pp.3368-3375, 2023. 10.23919\/ACC55779.2023.10156532","DOI":"10.23919\/ACC55779.2023.10156532"},{"key":"26","doi-asserted-by":"publisher","unstructured":"[26] B. K\u00f6nighofer, M. Alshiekh, R. Bloem, L. Humphrey, R. K\u00f6nighofer, U. Topucu, and C. Wang, \u201cShield synthesis,\u201d Form. Methods Syst. Des., vol.51, pp.332-361, 2017. 10.1007\/s10703-017-0276-9","DOI":"10.1007\/s10703-017-0276-9"},{"key":"27","doi-asserted-by":"publisher","unstructured":"[27] M. Krstic, \u201cInverse optimal safety filters,\u201d IEEE Trans. Autom. Control, vol.69, no.1, pp.16-31, 2024. 10.1109\/TAC.2023.3278788","DOI":"10.1109\/TAC.2023.3278788"},{"key":"28","doi-asserted-by":"crossref","unstructured":"[28] S. Pranger, B. K\u00f6nighofer, M. Tappler, M. Deixelberger, N. Jansen, and R. Bloem, \u201cAdaptive shielding under uncertainty,\u201d Proc. 2021 American Control Conference, pp.3458-3465, 2021. 10.23919\/ACC50511.2021.9482889","DOI":"10.23919\/ACC50511.2021.9482889"},{"key":"29","doi-asserted-by":"publisher","unstructured":"[29] M. Alshiekh, R. Bloem, R. Ehlers, B. K\u00f6nighofer, S. Niekum, and U. Topcu, \u201cSafe reinforcement learning via shielding,\u201d Proc. 32nd AAAI Conference on Artificial Intelligence, pp.2669-2678, 2018. 10.1609\/aaai.v32i1.11797","DOI":"10.1609\/aaai.v32i1.11797"},{"key":"30","doi-asserted-by":"crossref","unstructured":"[30] O. Bastani, \u201cSafe reinforcement learning with nonlinear dynamics via model predictive shielding,\u201d Proc. 2021 American Control Conference, pp.3479-3485, 2021. 10.23919\/ACC50511.2021.9483182","DOI":"10.23919\/ACC50511.2021.9483182"},{"key":"31","doi-asserted-by":"publisher","unstructured":"[31] P.K. Pandya and A. Wakankar, \u201cSpecification and optimal reactive synthesis of run-time enforcement shields,\u201d Information and Computation, vol.285, article no.104865, pp.1-18, 2022. 10.1016\/j.ic.2022.104865","DOI":"10.1016\/j.ic.2022.104865"},{"key":"32","doi-asserted-by":"publisher","unstructured":"[32] K. Kanashima and T. Ushio, \u201cFinite-horizon shield for path planning ensuring safety\/co-safety specifications and security policies,\u201d IEEE Access, vol.11, pp.11766-11780, 2023. 10.1109\/access.2023.3241946","DOI":"10.1109\/ACCESS.2023.3241946"},{"key":"33","doi-asserted-by":"publisher","unstructured":"[33] M. Mizoguchi and T. Ushio, \u201cAbstraction-based safe control with alternating simulation-based shields and its application to mobile robots,\u201d IEEE Access, vol.12, pp.37152-37164, 2024. 10.1109\/ACCESS.2024.3374329","DOI":"10.1109\/ACCESS.2024.3374329"},{"key":"34","doi-asserted-by":"publisher","unstructured":"[34] K.G. Shin and X. Cui, \u201cComputing time delay and its effects on real-time control systems,\u201d IEEE Trans. Control Systems Technology, vol.3, no.2, pp.218-224, 1995. 10.1109\/87.388130","DOI":"10.1109\/87.388130"},{"key":"35","doi-asserted-by":"publisher","unstructured":"[35] T. Mita, \u201cOptimal digital feedback control systems counting computation time of control laws,\u201d IEEE Trans. Automatic Control, vol.AC-30, no.6, pp.542-548, 1985. 10.1109\/TAC.1985.1104007","DOI":"10.1109\/TAC.1985.1104007"},{"key":"36","doi-asserted-by":"publisher","unstructured":"[36] P. Ramanathan, \u201cOverload management in real-time control applications using (<i>m<\/i>, <i>k<\/i>)-firm guarantee,\u201d IEEE Trans. Parallel Distrib. Syst., vol.10, no.6, pp.549-559, 1999. 10.1109\/71.774906","DOI":"10.1109\/71.774906"},{"key":"37","doi-asserted-by":"crossref","unstructured":"[37] T. Yoshimito and T. Ushio, \u201cOptimal arbitration of control tasks by job skipping in cyber-physical systems,\u201d Proc. IEEE\/ACM 2nd International Conference on Cyber-Physical Systems, pp.55-64, 2011. 10.1109\/ICCPS.2011.18","DOI":"10.1109\/ICCPS.2011.18"},{"key":"38","doi-asserted-by":"publisher","unstructured":"[38] T. Fujita and T. Ushio, \u201cOptimal digital control with uncertain network delay of linear systems using reinforcement learning,\u201d IEICE Trans. Fundamentals, vol.E99-A, no.2, pp.454-461, Feb. 2016. 10.1587\/transfun.E99.A.454","DOI":"10.1587\/transfun.E99.A.454"},{"key":"39","doi-asserted-by":"crossref","unstructured":"[39] Y. Masui, K. Hirata, and T. Hagiwara, \u201cModified state predictive control of continuous-time systems with input delay,\u201d Proc. 2017 IEEE International Conference on Industrial Technology, pp.843-847, 2017. 10.1109\/ICIT.2017.7915469","DOI":"10.1109\/ICIT.2017.7915469"},{"key":"40","doi-asserted-by":"crossref","unstructured":"[40] S. Monaco and D. Normand-Cyrot, \u201cMinimum-phase nonlinear discrete-time systems and feedback stabilization,\u201d Proc. 28th Conference on Decision and Control, pp.979-986, 1987. 10.1109\/CDC.1987.272543","DOI":"10.1109\/CDC.1987.272543"},{"key":"41","doi-asserted-by":"publisher","unstructured":"[41] M. Sun and D. Wang, \u201cInitial shift issues on discrete-time iterative learning control with system relative degree,\u201d IEEE Trans. Autom. Control, vol.48, no.1, pp.144-148, 2003. 10.1109\/TAC.2002.806668","DOI":"10.1109\/TAC.2002.806668"}],"container-title":["IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E108.A\/5\/E108.A_2024MAP0003\/_pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,3]],"date-time":"2025-05-03T03:31:06Z","timestamp":1746243066000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.jstage.jst.go.jp\/article\/transfun\/E108.A\/5\/E108.A_2024MAP0003\/_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,5,1]]},"references-count":41,"journal-issue":{"issue":"5","published-print":{"date-parts":[[2025]]}},"URL":"https:\/\/doi.org\/10.1587\/transfun.2024map0003","relation":{},"ISSN":["0916-8508","1745-1337"],"issn-type":[{"type":"print","value":"0916-8508"},{"type":"electronic","value":"1745-1337"}],"subject":[],"published":{"date-parts":[[2025,5,1]]},"article-number":"2024MAP0003"}}