Zobrazeno 1 - 10
of 305
pro vyhledávání: '"Toshimitsu Ushio"'
Autor:
Masashi Mizoguchi, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 12, Pp 37152-37164 (2024)
Abstraction-based formal synthesis with a symbolic control barrier function is useful for obtaining a finite-state safe controller for an infinite system with sporadic disturbances. In the case of multiple mobile robots sharing a common workspace, a
Externí odkaz:
https://doaj.org/article/0120d1e5bfda4bcdb4baef60da61e8e5
Autor:
Koki Kanashima, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 11, Pp 11766-11780 (2023)
With the development of network technology, security in path planning problems has attracted widespread attention. We consider a path planning problem in which a planner computes a finite path that satisfies a specification. We assume that the specif
Externí odkaz:
https://doaj.org/article/fd52f89c0de64da080c0debba64ca721
Autor:
Junya Ikemoto, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 10, Pp 114814-114828 (2022)
Deep reinforcement learning (DRL) has attracted much attention as an approach to solve optimal control problems without mathematical models of systems. On the other hand, in general, constraints may be imposed on optimal control problems. In this stu
Externí odkaz:
https://doaj.org/article/a7c0ff9ab1144da5be3d8bb14bdf0db5
Autor:
Kohei Fujita, Toshimitsu Ushio
Publikováno v:
IEEE Access, Vol 10, Pp 110849-110861 (2022)
A coloured Petri net (CPN) is widely used to model discrete event systems due to its compact representation of the system by colour sets associated with places, transitions and I/O arcs. For real-world systems such as manufacturing systems, transport
Externí odkaz:
https://doaj.org/article/ece434b0298e4f32bc9f181310bb7f86
Publikováno v:
IEEE Access, Vol 9, Pp 148810-148820 (2021)
Cooperative adaptive cruise control (CACC) is a technology for the automated control of platoons of vehicles. CACC controls the behavior of vehicles based on information that is shared among the vehicles through vehicle-to-vehicle (V2V) communication
Externí odkaz:
https://doaj.org/article/1b265d3d79c74f20901940736b006578
Autor:
Masashi Mizoguchi, Toshimitsu Ushio
Publikováno v:
Electronic Proceedings in Theoretical Computer Science, Vol 232, Iss Proc. V2CPS-16, Pp 37-51 (2016)
In this paper, we design a symbolic output feedback controller of a cyber-physical system (CPS). The physical plant is modeled by an infinite transition system. We consider the situation that a finite abstracted system of the physical plant, called a
Externí odkaz:
https://doaj.org/article/436aa1ae911f40bdb56ae32fbab49916
Publikováno v:
Nihon Kikai Gakkai ronbunshu, Vol 83, Iss 854, Pp 17-00207-17-00207 (2017)
The quadrotors are useful for periodic inspections of tunnels and bridges. However, the conventional quadrotor has a problem such that it is impossible to control the rotational motion and the translational motion independently. Therefore, if the cam
Externí odkaz:
https://doaj.org/article/30ce1ee5c4674127aa9ba49b123b535b
Publikováno v:
Journal of the Franklin Institute. 359:10986-11006
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::efa780d0278fdf9334653121e03d3287
https://doi.org/10.1016/j.jfranklin.2022.03.042
https://doi.org/10.1016/j.jfranklin.2022.03.042
Autor:
Toshimitsu Ushio, Kohei Fujita
Publikováno v:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :808-815
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::06196abb6ca4d17ae550ae7676316d24
https://doi.org/10.1587/transfun.2021map0003
https://doi.org/10.1587/transfun.2021map0003
Publikováno v:
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences. :682-688
To maintain blockchain-based services with ensuring its security, it is an important issue how to decide a mining reward so that the number of miners participating in the mining increases. We propose a dynamical model of decision-making for miners us
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::2dc8c2a8d8e43905df951cca7c332d61
https://doi.org/10.1587/transfun.2021eap1099
https://doi.org/10.1587/transfun.2021eap1099