Masashi Mizoguchi

According to our database, Masashi Mizoguchi authored at least 10 papers between 2015 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots.

Masashi Mizoguchi, Toshimitsu Ushio

IEEE Access, 2024

2022

Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.

Masashi Mizoguchi, Toshimitsu Ushio

IEEE Control. Syst. Lett., 2022

Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.

Masashi Mizoguchi, Toshimitsu Ushio

IEEE Control. Syst. Lett., 2022

2021

Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.

Masashi Mizoguchi, Toshimitsu Ushio

IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021

2020

Optimization of automated executions based on integration test configurations of embedded software.

Masashi Mizoguchi, Takahiro Iida, Toru Irie

Proceedings of the 13th IEEE International Conference on Software Testing, 2020

2018

Prioritization in Automotive Software Testing: Systematic Literature Review.

Ankush Dadwal, Hironori Washizaki, Yoshiaki Fukazawa, Takahiro Iida, Masashi Mizoguchi, Kentaro Yoshimura

Proceedings of the 6th International Workshop on Quantitative Approaches to Software Quality co-located with 25th Asia-Pacific Software Engineering Conference (APSEC 2018), 2018

2017

Symbolic Design of Networked Control Systems with State Prediction.

Masashi Mizoguchi, Toshimitsu Ushio

IEICE Trans. Inf. Syst., 2017

2016

Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.

Masashi Mizoguchi, Toshimitsu Ushio

Proceedings of the The First Workshop on Verification and Validation of Cyber-Physical Systems, 2016

Symbolic control of systems with dead times using symbolic smith predictors.

Masashi Mizoguchi, Toshimitsu Ushio

Proceedings of the 55th IEEE Conference on Decision and Control, 2016

2015

Observer-based Similarity Output Feedback Control of Cyber-Physical Systems.

Masashi Mizoguchi, Toshimitsu Ushio

Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015