default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDToshimitsu Ushio
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j104]Masashi Mizoguchi
, Toshimitsu Ushio:
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots. IEEE Access 12: 37152-37164 (2024)- [j103]Kotaro Nagae, Toshimitsu Ushio:
Extension of Counting LTL and Its Application to a Path Planning Problem for Heterogeneous Multi-Robot Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 107(5): 752-761 (2024) - [j102]Zhang Zhe, Toshimitsu Ushio, Yaonan Wang, Jing Zhang, Xiaogang Zhang:
Asymptotic stability analysis of time delayed fractional-order replicator dynamics with government's intervention. Neurocomputing 608: 128359 (2024) - [j101]Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara:
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems With LTL Specifications. IEEE Trans. Autom. Control. 69(10): 6668-6683 (2024) - [j100]Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio:
Mission-Aware UAV Deployment for Post-Disaster Scenarios: A Worst-Case SAC-Based Approach. IEEE Trans. Veh. Technol. 73(2): 2712-2727 (2024) - [c68]Tatsushi Yamasaki, Toshimitsu Ushio:
Application of Supervisory Control to Arbitration for Multi-Robot Systems with Learning Robots. GCCE 2024: 490-491 - 2023
- [j99]Koki Kanashima, Toshimitsu Ushio:
Finite-Horizon Shield for Path Planning Ensuring Safety/Co-Safety Specifications and Security Policies. IEEE Access 11: 11766-11780 (2023) - [j98]Naomi Kuze, Keiichiro Seno, Toshimitsu Ushio:
Learning-based black box checking for k-safety hyperproperties. Eng. Appl. Artif. Intell. 126: 107029 (2023) - 2022
- [j97]Kohei Fujita, Toshimitsu Ushio:
Optimal Control of Colored Timed Petri Nets Under Generalized Mutual Exclusion Temporal Constraints. IEEE Access 10: 110849-110861 (2022) - [j96]Junya Ikemoto, Toshimitsu Ushio:
Deep Reinforcement Learning Under Signal Temporal Logic Constraints Using Lagrangian Relaxation. IEEE Access 10: 114814-114828 (2022) - [j95]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
Learning-based symbolic abstractions for nonlinear control systems. Autom. 146: 110646 (2022) - [j94]Masashi Mizoguchi, Toshimitsu Ushio:
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems. IEEE Control. Syst. Lett. 6: 1436-1441 (2022) - [j93]Masashi Mizoguchi, Toshimitsu Ushio:
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions. IEEE Control. Syst. Lett. 6: 2222-2227 (2022) - [j92]Takuma Kinugawa, Toshimitsu Ushio:
Hyper-Labeled Transition System and Its Application to Planning Under Linear Temporal Logic Constraints. IEEE Control. Syst. Lett. 6: 2437-2442 (2022) - [j91]Ryohei Oura, Toshimitsu Ushio:
Learning-Based Bounded Synthesis for Semi-MDPs With LTL Specifications. IEEE Control. Syst. Lett. 6: 2557-2562 (2022) - [j90]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Stability Analysis and Control of Decision-Making of Miners in Blockchain. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(4): 682-688 (2022) - [j89]Kohei Fujita, Toshimitsu Ushio:
Optimal Control of Timed Petri Nets Under Temporal Logic Constraints with Generalized Mutual Exclusion. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 105-A(5): 808-815 (2022) - [j88]Takuma Kinugawa, Toshimitsu Ushio:
Finite-Horizon Optimal Spatio-Temporal Pattern Control under Spatio-Temporal Logic Specifications. IEICE Trans. Inf. Syst. 105-D(10): 1658-1664 (2022) - [j87]Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Yaonan Wang:
A novel asymptotic stability condition for a delayed distributed order nonlinear composite system with uncertain fractional order. J. Frankl. Inst. 359(18): 10986-11006 (2022) - [j86]Ami Sakakibara, Natsuki Urabe, Toshimitsu Ushio:
Finite-Memory Supervisory Control of Discrete Event Systems for LTL[$\mathcal {F}$] Specifications. IEEE Trans. Autom. Control. 67(12): 6896-6903 (2022) - [j85]Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio:
Collaborative Rover-copter Path Planning and Exploration with Temporal Logic Specifications Based on Bayesian Update Under Uncertain Environments. ACM Trans. Cyber Phys. Syst. 6(2): 11:1-11:24 (2022) - [c67]Junya Ikemoto, Toshimitsu Ushio:
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. ETFA 2022: 1-8 - [c66]Jingjing Wang, Yanjing Sun, Bowen Wang, Toshimitsu Ushio:
Potential Game Based Connectivity Preservation for UAV-Assisted Public Safety Rescue. MSN 2022: 847-852 - [i18]Junya Ikemoto, Toshimitsu Ushio:
Deep reinforcement learning under signal temporal logic constraints using Lagrangian relaxation. CoRR abs/2201.08504 (2022) - [i17]Ryohei Oura, Toshimitsu Ushio:
Learning-based Bounded Synthesis for Semi-MDPs with LTL Specifications. CoRR abs/2204.04383 (2022) - 2021
- [j84]Yudai Yamamoto, Naomi Kuze, Toshimitsu Ushio:
Attack Detection and Defense System Using an Unknown Input Observer for Cooperative Adaptive Cruise Control Systems. IEEE Access 9: 148810-148820 (2021) - [j83]Kazumune Hashimoto, Yuga Onoue, Masaki Ogura, Toshimitsu Ushio:
Event-triggered control for mitigating SIS spreading processes. Annu. Rev. Control. 52: 479-494 (2021) - [j82]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Game-Theoretic Approach to a Decision-Making Problem for Blockchain Mining. IEEE Control. Syst. Lett. 5(5): 1783-1788 (2021) - [j81]Kazumune Hashimoto, Masako Kishida, Yuichi Yoshimura, Toshimitsu Ushio:
A Bayesian Optimization Approach to Decentralized Event-Triggered Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(2): 447-454 (2021) - [j80]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Modeling and Supervisory Control of Blockchain Forks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(2): 474-475 (2021) - [j79]Akinori Sakaguchi, Takashi Takimoto, Toshimitsu Ushio:
Hopf Bifurcations of a Quadrotor with a Tilting Frame. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(3): 632-635 (2021) - [j78]Masashi Mizoguchi, Toshimitsu Ushio:
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 104-A(11): 1593-1602 (2021) - [j77]Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Feng Liu, Can Ding:
Asymptotic Stabilization for a Class of Linear Fractional-Order Composite Systems. J. Adv. Comput. Intell. Intell. Informatics 25(3): 285-290 (2021) - [j76]Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio:
Learning Self-Triggered Controllers With Gaussian Processes. IEEE Trans. Cybern. 51(12): 6294-6304 (2021) - [c65]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Game-theoretic Approach to a Decision-making Problem for Blockchain Mining. ACC 2021: 4515-4520 - [i16]Junya Ikemoto, Toshimitsu Ushio:
Continuous Deep Q-Learning with Simulator for Stabilization of Uncertain Discrete-Time Systems. CoRR abs/2101.05640 (2021) - [i15]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Modeling and control of decision-making of miners in blockchain. CoRR abs/2104.08460 (2021) - [i14]Ryohei Oura, Toshimitsu Ushio, Ami Sakakibara:
Bounded Synthesis and Reinforcement Learning of Supervisors for Stochastic Discrete Event Systems with LTL Specifications. CoRR abs/2105.03081 (2021) - [i13]Kazumune Hashimoto, Natsuko Tsumagari, Toshimitsu Ushio:
Collaborative rover-copter path planning and exploration with temporal logic specifications based on Bayesian update under uncertain environments. CoRR abs/2107.09303 (2021) - [i12]Junya Ikemoto, Toshimitsu Ushio:
Deep Reinforcement Learning Based Networked Control with Network Delays for Signal Temporal Logic Specifications. CoRR abs/2108.01317 (2021) - 2020
- [j75]Sasinee Pruekprasert, Toshimitsu Ushio:
Supervisory Control of Communicating Timed Discrete Event Systems for State Avoidance Problem. IEEE Control. Syst. Lett. 4(1): 259-264 (2020) - [j74]Ami Sakakibara, Toshimitsu Ushio:
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. IEEE Control. Syst. Lett. 4(3): 530-535 (2020) - [j73]Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio:
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Generalized Büchi Automata. IEEE Control. Syst. Lett. 4(3): 761-766 (2020) - [j72]Junya Ikemoto, Toshimitsu Ushio:
Control of Discrete-Time Chaotic Systems with Policy-Based Deep Reinforcement Learning. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 103-A(7): 885-892 (2020) - [j71]Zhe Zhang, Toshimitsu Ushio, Jing Zhang, Can Ding, Feng Liu:
Bifurcation Analysis of a Class Fractional-Oder Nonlinear Chua's Circuit System. J. Adv. Comput. Intell. Intell. Informatics 24(4): 549-556 (2020) - [c64]Ami Sakakibara, Toshimitsu Ushio:
On-Line Supervisory Control for Surveillance under Partial Observation with scLTL Specifications. ICCPS 2020: 190-191 - [c63]Naomi Kuze, Ami Sakakibara, Toshimitsu Ushio:
WiP Abstract: Detection of False Injection Attacks Based on LTL for Fallback Control. ICCPS 2020: 194-195 - [i11]Ryohei Oura, Ami Sakakibara, Toshimitsu Ushio:
Reinforcement Learning of Control Policy for Linear Temporal Logic Specifications Using Limit-Deterministic Büchi Automata. CoRR abs/2001.04669 (2020) - [i10]Ami Sakakibara, Toshimitsu Ushio:
On-Line Permissive Supervisory Control of Discrete Event Systems for scLTL Specifications. CoRR abs/2003.11808 (2020) - [i9]Ami Sakakibara, Toshimitsu Ushio:
On-Line Synthesis of Permissive Supervisors for Partially Observed Discrete Event Systems under scLTL Constraints. CoRR abs/2003.12274 (2020) - [i8]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
Learning-based Safe Symbolic Abstractions for Nonlinear Control Systems. CoRR abs/2004.01879 (2020) - [i7]Kosuke Toda, Naomi Kuze, Toshimitsu Ushio:
Game-theoric approach to decision-making problem for blockchain mining. CoRR abs/2010.05370 (2020)
2010 – 2019
- 2019
- [j70]Dongwu Xu, Toshimitsu Ushio:
On Stability of Consensus Control of Discrete-Time Multi-Agent Systems by Multiple Pinning Agents. IEEE Control. Syst. Lett. 3(4): 1038-1043 (2019) - [j69]Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas:
A Symbolic Approach to the Self-Triggered Design for Networked Control Systems. IEEE Control. Syst. Lett. 3(4): 1050-1055 (2019) - [j68]Shiyao Ding, Toshimitsu Ushio:
Learning in Two-Player Matrix Games by Policy Gradient Lagging Anchor. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 102-A(4): 708-711 (2019) - [c62]Junya Ikemoto, Toshimitsu Ushio:
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. CDC 2019: 6793-6798 - [c61]Sota Takashima, Naomi Kuze, Toshimitsu Ushio:
Hierarchical taxi dispatch system with local coordination among micro-level components: WIP abstract. ICCPS 2019: 306-307 - [i6]Junya Ikemoto, Toshimitsu Ushio:
Model-free Control of Chaos with Continuous Deep Q-learning. CoRR abs/1907.07775 (2019) - [i5]Junya Ikemoto, Toshimitsu Ushio:
Networked Control of Nonlinear Systems under Partial Observation Using Continuous Deep Q-Learning. CoRR abs/1908.10722 (2019) - [i4]Kazumune Hashimoto, Yuichi Yoshimura, Toshimitsu Ushio:
Learning self-triggered controllers with Gaussian processes. CoRR abs/1909.00178 (2019) - [i3]Takuma Kinugawa, Kazumune Hashimoto, Toshimitsu Ushio:
Control of Timed Discrete Event Systems with Ticked Linear Temporal Logic Constraints. CoRR abs/1912.02513 (2019) - 2018
- [j67]Ami Sakakibara, Toshimitsu Ushio:
Hierarchical Control of Concurrent Discrete Event Systems with Linear Temporal Logic Specifications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(2): 313-321 (2018) - [j66]Kenichi Fukuda, Toshimitsu Ushio:
Decentralized Event-Triggered Control of Composite Systems Using M-Matrices. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 101-A(8): 1156-1161 (2018) - [c60]Ami Sakakibara, Toshimitsu Ushio:
Directed Control of Discrete Event Systems with LTL[F] Specifications. CDC 2018: 3962-3967 - [c59]Akinori Sakaguchi, Toshimitsu Ushio:
Consensus Speed of Static Pinning Consensus Control of Multi-Agent Systems. ECC 2018: 1423-1428 - [c58]Hiroki Hayakawa, Takuya Azumi, Akinori Sakaguchi, Toshimitsu Ushio:
ROS-based support system for supervision of multiple UAVs by a single operator. ICCPS 2018: 341-342 - 2017
- [j65]Akinori Sakaguchi, Toshimitsu Ushio:
Dynamic Pinning Consensus Control of Multi-Agent Systems. IEEE Control. Syst. Lett. 1(2): 340-345 (2017) - [j64]Masashi Mizoguchi, Toshimitsu Ushio:
Symbolic Design of Networked Control Systems with State Prediction. IEICE Trans. Inf. Syst. 100-D(6): 1158-1165 (2017) - [j63]Sasinee Pruekprasert, Toshimitsu Ushio:
Supervisory Control of Partially Observed Quantitative Discrete Event Systems for Fixed-Initial-Credit Energy Problem. IEICE Trans. Inf. Syst. 100-D(6): 1166-1171 (2017) - [c57]Yun Qian, Toshimitsu Ushio:
Receding horizon control with iLQG method considering computational delay and its application to nonholonomic systems. CCTA 2017: 644-649 - 2016
- [j62]Taishi Fujita, Toshimitsu Ushio:
Optimal Digital Control with Uncertain Network Delay of Linear Systems Using Reinforcement Learning. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 454-461 (2016) - [j61]Sasinee Pruekprasert, Toshimitsu Ushio:
Optimal Stabilizing Supervisor of Quantitative Discrete Event Systems under Partial Observation. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 99-A(2): 475-482 (2016) - [j60]Sasinee Pruekprasert, Toshimitsu Ushio:
Optimal Stabilizing Controller for the Region of Weak Attraction under the Influence of Disturbances. IEICE Trans. Inf. Syst. 99-D(6): 1428-1435 (2016) - [j59]Toshimitsu Ushio, Shigemasa Takai:
Nonblocking Supervisory Control of Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. IEEE Trans. Autom. Control. 61(3): 799-804 (2016) - [j58]Sasinee Pruekprasert, Toshimitsu Ushio, Takafumi Kanazawa:
Quantitative Supervisory Control Game for Discrete Event Systems. IEEE Trans. Autom. Control. 61(10): 2987-3000 (2016) - [j57]Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio:
Subsidy-Based Control of Heterogeneous Multiagent Systems Modeled by Replicator Dynamics. IEEE Trans. Autom. Control. 61(10): 3158-3163 (2016) - [j56]Daiki Ishii, Toshimitsu Ushio:
A Bisimulation-Based Design of User Interface With Alerts Avoiding Automation Surprises. IEEE Trans. Hum. Mach. Syst. 46(2): 317-323 (2016) - [c56]Masashi Mizoguchi, Toshimitsu Ushio:
Symbolic control of systems with dead times using symbolic smith predictors. CDC 2016: 5726-5731 - [c55]Kenichi Fukuda, Kohei Fujita, Toshimitsu Ushio:
Dynamic event-triggered minimal-order observer for linear systems. EBCCSP 2016: 1-8 - [c54]Sasinee Pruekprasert, Toshimitsu Ushio:
State-based optimal supervisor for non-terminating quantitative discrete event systems. ICARCV 2016: 1-6 - [c53]Toshimitsu Ushio, Masaki Hiromoto, Akiyoshi Okamoto, Tomoaki Akiyama:
WiP Abstract: A Mixed Logical Dynamical System Model for Taxi Cruising Support System. ICCPS 2016: 7:1 - [c52]Masashi Mizoguchi, Toshimitsu Ushio:
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems. V2CPS@IFM 2016: 37-51 - 2015
- [j55]Tatsuya Yoshimoto, Toshimitsu Ushio, Takuya Azumi:
Adaptive Assignment of Deadline and Clock Frequency in Real-Time Embedded Control Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 98-A(1): 323-330 (2015) - [c51]Masashi Mizoguchi, Toshimitsu Ushio:
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. ADHS 2015: 248-253 - [c50]Kohei Fujita, Toshimitsu Ushio:
Distributed event-triggered output feedback control with cloud-assisted observer. EBCCSP 2015: 1-7 - [c49]Ami Sakakibara, Sasinee Pruekprasert, Toshimitsu Ushio:
Optimal directed control of discrete event systems with linear temporal logic constraints. ETFA 2015: 1-8 - [c48]Taishi Fujita, Toshimitsu Ushio:
RL-based optimal networked control considering network delay of discrete-time linear systems. ECC 2015: 2476-2481 - [c47]Yoshiki Maeda, Toshimitsu Ushio:
SMT-based scheduling of distributed mediator for web service composition. GCCE 2015: 69-70 - [c46]Takashi Shigekuni, Toshimitsu Ushio, Takuya Azumi:
Cloud-assisted sensing and supervision of multiple unmanned aerial vehicles by a single operator. ICCPS 2015: 254 - [c45]Masaki Hiromoto, Toshimitsu Ushio:
Learning an Optimal Control Policy for a Markov Decision Process Under Linear Temporal Logic Specifications. SSCI 2015: 548-555 - 2014
- [j54]Shogo Nakao, Toshimitsu Ushio:
Self-Triggered Predictive Control with Time-Dependent Activation Costs of Mixed Logical Dynamical Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 97-A(2): 476-483 (2014) - [c44]Taishi Fujita, Toshimitsu Ushio:
Reinforcement learning-based optimal control considering L computation time delay of linear discrete-time systems. ADPRL 2014: 1-6 - [c43]Daiki Ishii, Toshimitsu Ushio:
Formal framework for detection of automation surprises in human-machine systems modeled by hybrid automata. GCCE 2014: 372-373 - 2013
- [j53]Tomohiro Kawamura, Takafumi Kanazawa, Toshimitsu Ushio:
Evolutionarily and Neutrally Stable Strategies in Multicriteria Games. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(4): 814-820 (2013) - [j52]Yasuki Nanamori, Toshimitsu Ushio:
Co-scheduling of Communication and Control of Multi-Hop Control Networks. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(5): 878-885 (2013) - [j51]Takafumi Kanazawa, Takurou Misaka, Toshimitsu Ushio:
A Control Method of Dynamic Selfish Routing Based on a State-Dependent Tax. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 96-A(8): 1794-1802 (2013) - [c42]Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio:
Game theoretic approach to the stabilization of heterogeneous multiagent systems using subsidy. CDC 2013: 3427-3432 - [c41]Yusuke Aoki, Takafumi Kanazawa, Toshimitsu Ushio:
Mechanism design for robust resource management to false report in cloud computing systems. HiCoNS 2013: 1-8 - [c40]Ken Imai, Toshimitsu Ushio:
Effective Combination of Search Policy Based on Probability and Entropy for Heterogeneous Mobile Sensors. SMC 2013: 1981-1986 - [i2]Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio:
Game Theoretic Approach to the Stabilization of Heterogeneous Multiagent Systems Using Subsidy. CoRR abs/1312.6916 (2013) - 2012
- [j50]Saori Teraoka, Toshimitsu Ushio, Takafumi Kanazawa:
Potential Game Based Distributed Control for Voronoi Coverage Problems with Obstacle Avoidance. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 95-A(7): 1156-1163 (2012) - [j49]Shigemasa Takai, Toshimitsu Ushio:
Verification of Codiagnosability for Discrete Event Systems Modeled by Mealy Automata With Nondeterministic Output Functions. IEEE Trans. Autom. Control. 57(3): 798-804 (2012) - [c39]Tatsuya Yoshimoto, Toshimitsu Ushio:
Poster Abstract: Design of Modified Observer to Reduce State Estimation Error Caused by Job Skipping in Cyber-Physical Systems. ICCPS 2012: 236 - [c38]Takuya Morimoto, Takafumi Kanazawa, Toshimitsu Ushio:
Capitation tax based control of multipopulation replicator dynamics under incomplete information. SMC 2012: 1268-1273 - [i1]Ichiro Hasuo, Takuro Kutsuna, Toshimitsu Ushio:
Hybrid Systems: Theory and Practice, Seriously (NII Shonan Meeting 2012-2). NII Shonan Meet. Rep. 2012 (2012) - 2011
- [j48]Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa:
Potential Game Theoretic Approach to Power-Aware Mobile Sensor Coverage Problem. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(3): 929-936 (2011) - [j47]Toshimitsu Ushio:
FOREWORD. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 94-A(12): 2787 (2011) - [c37]Jun Kohjina, Toshimitsu Ushio, Yoshiki Kinoshita:
A Coalgebraic Approach to Supervisory Control of Partially Observed Mealy Automata. CALCO 2011: 253-267 - [c36]Saori Teraoka, Toshimitsu Ushio, Takafumi Kanazawa:
Voronoi coverage control with time-driven communication for mobile sensing networks with obstacles. CDC/ECC 2011: 1980-1985 - [c35]Tatsuya Yoshimoto, Toshimitsu Ushio:
Optimal Arbitration of Control Tasks by Job Skipping in Cyber-Physical Systems. ICCPS 2011: 55-64 - 2010
- [j46]Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa:
Adaptive Arbitration of Fair QoS Based Resource Allocation in Multi-Tier Computing Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(9): 1678-1683 (2010) - [j45]Sayuri Terada, Toshimitsu Ushio:
Optimal Configuration for Multiversion Real-Time Systems Using Slack Based Schedulability. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 93-A(12): 2709-2716 (2010) - [c34]Shigemasa Takai, Toshimitsu Ushio:
Decentralized diagnosis of discrete event systems modeled by Mealy automata with nondeterministic output functions. ACC 2010: 2613-2618
2000 – 2009
- 2009
- [c33]Takafumi Kanazawa, Takurou Misaka, Toshimitsu Ushio, Yasuhiko Fukumoto:
A control method of selfish routing based on replicator dynamics with capitation tax and subsidy. CCA/ISIC 2009: 249-254 - [c32]Toshimitsu Ushio, Shigemasa Takai:
Supervisory control of discrete event systems modeled by Mealy automata with nondeterministic output functions. ACC 2009: 4260-4265 - [c31]Naoki Hayashi, Toshimitsu Ushio, Takafumi Kanazawa:
Adaptive Fair Resource Management with an Arbiter for Multi-tier Computing Systems. ETFA 2009: 1-8 - 2008
- [j44]Naoki Hayashi, Toshimitsu Ushio:
Performance Consensus Problem of Multi-Agent Systems with Multiple State Variables. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(9): 2403-2410 (2008) - [j43]Takafumi Kanazawa, Hayato Goto, Toshimitsu Ushio:
Replicator Dynamics with Dynamic Payoff Reallocation Based on the Government's Payoff. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(9): 2411-2418 (2008) - [j42]Toshimitsu Ushio, Satoshi Takahashi:
Automatic Generation of User Manuals without Automation Surprises for Human-Machine Systems Modeled by Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3237-3244 (2008) - [j41]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Adaptive Fair Resource Allocation for Energy and QoS Trade-Off Management. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3245-3252 (2008) - [j40]Yoshiyuki Tsuchie, Toshimitsu Ushio:
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicate. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 91-A(11): 3365-3373 (2008) - [c30]Takurou Misaka, Takafumi Kanazawa, Toshimitsu Ushio, Yasuhiko Fukumoto:
Stabilization of the minimum latency flow in Braess graphs by state-dependent tax. BIONETICS 2008: 40 - [c29]Naoki Hayashi, Toshimitsu Ushio:
Application of a consensus problem to fair multi-resource allocation in real-time systems. CDC 2008: 2450-2455 - [c28]Yoshiyuki Tsuchie, Toshimitsu Ushio:
Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates. HSCC 2008: 666-669 - 2007
- [j39]Yoshiyuki Tsuchie, Toshimitsu Ushio:
Control-Invariance of Sampled-Data Hybrid Systems with Clocked Events and Jitters. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(4): 707-714 (2007) - [j38]Toshimitsu Ushio, Haruo Kohtaki, Masakazu Adachi, Fumiko Harada:
Adaptive Fair Sharing Control in Real-Time Systems Using Nonlinear Elastic Task Models. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(6): 1154-1161 (2007) - [j37]Toshimitsu Ushio, Gianluca Setti:
Special Section on Nonlinear Theory and its Applications. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(10): 2053-2054 (2007) - [j36]Takafumi Kanazawa, Toshimitsu Ushio, Hayato Goto:
Replicator Dynamics with Government's Intervention by Collection and Reallocation of Payoffs. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(10): 2170-2177 (2007) - [j35]Naoki Hayashi, Toshimitsu Ushio, Fumiko Harada, Atsuko Ohno:
Consensus Problem of Multi-Agent Systems with Non-linear Performance Functions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 90-A(10): 2261-2264 (2007) - [j34]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Power-aware optimization of CPU and frequency allocation based on fairness of QoS. Syst. Comput. Jpn. 38(12): 37-45 (2007) - [j33]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Adaptive Resource Allocation Control for Fair QoS Management. IEEE Trans. Computers 56(3): 344-357 (2007) - [j32]Takafumi Kanazawa, Toshimitsu Ushio, Tatsushi Yamasaki:
Replicator Dynamics of Evolutionary Hypergames. IEEE Trans. Syst. Man Cybern. Part A 37(1): 132-138 (2007) - [c27]Yoshiyuki Tsuchie, Toshimitsu Ushio:
Approximate finite-state feedback controller of hybrid systems. CDC 2007: 739-744 - 2006
- [j31]Shigemasa Takai, Toshimitsu Ushio:
A New Class of Supervisors for Timed Discrete Event Systems Under Partial Observation. Discret. Event Dyn. Syst. 16(2): 257-278 (2006) - [j30]Masakazu Adachi, Toshimitsu Ushio:
Analysis of Automation Surprises in Human-Machine Systems with Time Information. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(4): 1027-1034 (2006) - [j29]Takafumi Kanazawa, Toshimitsu Ushio:
Multi-Population Replicator Dynamics with Changes of Interpretations of Strategies. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(10): 2717-2723 (2006) - [j28]Atsuko Ohno, Toshimitsu Ushio, Masakazu Adachi:
Synthesis of Nonautonomous Systems with Specified Limit Cycles. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(10): 2833-2836 (2006) - [j27]Takafumi Kanazawa, Toshimitsu Ushio:
Multi-Population Replicator Dynamics with Erroneous Perceptions. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(10): 2857-2865 (2006) - [j26]Kenji Onogi, Toshimitsu Ushio:
Scheduling of Periodic Tasks on a Dynamically Reconfigurable Device Using Timed Discrete Event Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 89-A(11): 3227-3234 (2006) - [j25]Wei Li, Toshimitsu Ushio:
Control of a Chaotic Switched Arrival System with Controlled Internal Connections. Int. J. Bifurc. Chaos 16(3): 701-707 (2006) - [c26]Yoshiyuki Tsuchie, Toshimitsu Ushio:
Control-invariance of Sampleddata Hybrid Systems with periodically Clocked Events and jitter. ADHS 2006: 417-422 - [c25]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Power-Aware Resource Allocation with Fair QoS Guarantee. RTCSA 2006: 287-293 - 2005
- [j24]Toshimitsu Ushio, Shigemasa Takai:
Control-invariance of hybrid systems with forcible events. Autom. 41(4): 669-675 (2005) - [j23]Ratnesh Kumar, Shigemasa Takai, Martin Fabian, Toshimitsu Ushio:
Maximally permissive mutually and globally nonblocking supervision with application to switching control. Autom. 41(8): 1299-1312 (2005) - [j22]Shigemasa Takai, Toshimitsu Ushio:
Supervisory Control of a Class of Concurrent Discrete Event Systems Under Partial Observation. Discret. Event Dyn. Syst. 15(1): 7-32 (2005) - [j21]Shigemasa Takai, Toshimitsu Ushio:
Decentralized Supervisory Control of Discrete Event Systems Using Dynamic Default Control. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 2982-2988 (2005) - [j20]Tatsushi Yamasaki, Toshimitsu Ushio:
Decentralized Supervisory Control of Discrete Event Systems Based on Reinforcement Learning. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 88-A(11): 3045-3050 (2005) - [j19]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization of co-observable languages and formulas for their super/sublanguages. IEEE Trans. Autom. Control. 50(4): 434-447 (2005) - [c24]Tatsushi Yamasaki, Kazutaka Taniguchi, Toshimitsu Ushio:
Reinforcement Learning of Optimal Supervisor Based on Language Measure. CDC/ECC 2005: 126-131 - [c23]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Multi-Resource Allocation Control for Fair QoS Management in Real-Time Systems. CDC/ECC 2005: 6198-6203 - [c22]Reynaldo Félix Acuña, Toshimitsu Ushio:
Rough Lymphocytes for Approximate Binding in Artificial Immune Systems. CONIELECOMP 2005: 272-277 - [c21]Hiroto Tanaka, Toshimitsu Ushio:
Dynamics in a controlled flow model of a switching system. ISCAS (4) 2005: 3379-3382 - 2004
- [c20]Hiroto Tanaka, Toshimitsu Ushio:
Design of bursting in two-dimensional discrete-time neuron models. ISCAS (4) 2004: 740-743 - [c19]Fumiko Harada, Toshimitsu Ushio, Yukikazu Nakamoto:
Adaptive Resource Allocation Control with On-Line Search for Fair QoS Level. IEEE Real-Time and Embedded Technology and Applications Symposium 2004: 352-359 - [c18]Takafumi Kanazawa, Toshimitsu Ushio:
Multipopulation replicator dynamics with erroneous perceptions. SMC (1) 2004: 1006-1011 - 2003
- [j18]Shigemasa Takai, Toshimitsu Ushio:
Reliable Decentralized Supervisory Control of Discrete Event Systems with the Conjunctive and Disjunctive Fusion Rules. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 86-A(11): 2731-2738 (2003) - [j17]Hiroto Tanaka, Toshimitsu Ushio:
Analysis of Aperiodic oscillations in a Flow Model of a Switching System. Int. J. Bifurc. Chaos 13(4): 981-994 (2003) - [j16]Shigemasa Takai, Toshimitsu Ushio:
Effective computation of an Lm(G)-closed, controllable, and observable sublanguage arising in supervisory control. Syst. Control. Lett. 49(3): 191-200 (2003) - [j15]Kaoru Inoue, Shigeru Yamamoto, Toshimitsu Ushio, Takashi Hikihara:
Torque-based control of whirling motion in a rotating electric machine under mechanical resonance. IEEE Trans. Control. Syst. Technol. 11(3): 335-344 (2003) - [c17]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems with the conjunctive and disjunctive fusion rules. ACC 2003: 1050-1055 - [c16]Hiroto Tanaka, Toshimitsu Ushio:
A heteroclinic point and basin boundaries in a piecewise linear chaotic neuron model. ISCAS (3) 2003: 188-191 - [c15]Toshimitsu Ushio, Tatsushi Yamasaki:
Supervisory control of partially observed discrete event systems based on a reinforcement learning. SMC 2003: 2956-2961 - [c14]Takafumi Kanazawa, Toshimitsu Ushio, Tatsushi Yamasaki:
Replicator dynamics of evolutionary hypergames. SMC 2003: 3828-3833 - 2002
- [j14]Shigemasa Takai, Toshimitsu Ushio:
A modified normality condition for decentralized supervisory control of discrete event systems. Autom. 38(1): 185-189 (2002) - [j13]Hiroto Tanaka, Toshimitsu Ushio:
Analysis of Border-Collision Bifurcations in a Flow Model of a Switching System. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(4): 734-739 (2002) - [j12]Shigeru Yamamoto, Toshimitsu Ushio:
Stability Analysis for a Class of Interconnected Hybrid Systems. IEICE Trans. Fundam. Electron. Commun. Comput. Sci. 85-A(8): 1921-1927 (2002) - [j11]Toru Hino, Shigeru Yamamoto, Toshimitsu Ushio:
Stabilization of Unstable Periodic orbits of Chaotic Discrete-Time Systems Using Prediction-Based Feedback Control. Int. J. Bifurc. Chaos 12(2): 439-446 (2002) - [j10]Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio:
Delayed Feedback Control with a Minimal-Order Observer for Stabilization of Chaotic Discrete-Time Systems. Int. J. Bifurc. Chaos 12(5): 1047-1055 (2002) - [j9]Reynaldo Félix, Toshimitsu Ushio:
Binary Encoding of Discernibility Patterns to Find Minimal Coverings. Int. J. Softw. Eng. Knowl. Eng. 12(1): 1-18 (2002) - [j8]T. Yamasaki, Toshimitsu Ushio:
An application of a computational ecology model to a routing method in computer networks. IEEE Trans. Syst. Man Cybern. Part B 32(1): 99-106 (2002) - [c13]Shigeru Yamamoto, Toshimitsu Ushio:
Stabilization of chaotic discrete-time systems by periodic delayed feedback control. ACC 2002: 2260-2261 - [c12]Shigemasa Takai, Ratnesh Kumar, Toshimitsu Ushio:
Characterization and computation of classes of co-observable languages for decentralized control of discrete event systems. CDC 2002: 578-583 - [c11]Keigo Kobayashi, Atsuhito Nakatani, Hideyuki Takahashi, Toshimitsu Ushio:
Motion planning for humanoid robots using timed Petri net and modular state net. SMC 2002: 6 - 2001
- [c10]Shigemasa Takai, Toshimitsu Ushio:
A modified normality condition for decentralized supervisory control of discrete event systems. ACC 2001: 973-974 - [c9]Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio:
Recursive delayed feedback control for chaotic discrete-time systems. CDC 2001: 2187-2192 - [c8]Shigemasa Takai, Toshimitsu Ushio:
Strong co-observability conditions for decentralized supervisory control of discrete event systems. CDC 2001: 4098-4103 - [c7]Shigemasa Takai, Toshimitsu Ushio:
Weak normality for supervisory control of discrete event systems under partial observation. ECC 2001: 1589-1594 - 2000
- [j7]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems. IEEE Trans. Syst. Man Cybern. Part B 30(5): 661-667 (2000) - [c6]Shigeru Yamamoto, Toru Hino, Toshimitsu Ushio:
A dynamic delayed feedback controller for chaotic discrete-time systems. ACC 2000: 3358-3359 - [c5]Shigemasa Takai, Toshimitsu Ushio:
On-line decentralized supervisory control of discrete event systems. CDC 2000: 7-8 - [c4]Shigemasa Takai, Toshimitsu Ushio:
Reliable decentralized supervisory control of discrete event systems with marked language specifications. SMC 2000: 2180-2185 - [c3]Keigo Kobayashi, Toshimitsu Ushio:
An application of LLP supervisory control with Petri net models in mobile robots. SMC 2000: 3015-3020
1990 – 1999
- 1998
- [c2]Toshimitsu Ushio, Isao Onishi, Koji Okuda:
Fault detection based on Petri net models with faulty behaviors. SMC 1998: 113-118 - 1997
- [j6]Toshimitsu Ushio:
On the existence of finite-state supervisors under partial observations. IEEE Trans. Autom. Control. 42(11): 1577-1581 (1997) - [c1]Toshimitsu Ushio:
Invariance Principle in Hybrid Systems Modeled by Mixed Mappings. HART 1997: 397-402 - 1995
- [j5]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
Stabilization and blocking in state feedback control of discrete event systems. Discret. Event Dyn. Syst. 5(1): 33-57 (1995) - [j4]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
The infimal controllable and N-observable superpredicate of a given predicate. IEEE Trans. Autom. Control. 40(7): 1249-1253 (1995) - [j3]Shigemasa Takai, Toshimitsu Ushio, Shinzo Kodama:
Static-state feedback control of discrete-event systems under partial observation. IEEE Trans. Autom. Control. 40(11): 1950-1954 (1995) - 1994
- [j2]Toshimitsu Ushio:
Supervisory control using augmented languages in discrete event systems. Discret. Event Dyn. Syst. 4(1): 5-22 (1994) - 1993
- [j1]Toshimitsu Ushio:
A necessary and sufficient condition for the existence of finite state supervisors in discrete-event systems. IEEE Trans. Autom. Control. 38(1): 135-138 (1993)
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-21 00:03 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
