Observer-based Similarity Output Feedback Control of Cyber-Physical Systems. - Masashi Mizoguchi; Toshimitsu Ushio (ADHS, 2015)

Symbolic control of systems with dead times using symbolic smith predictors. - Masashi Mizoguchi; Toshimitsu Ushio (CDC, 2016)

Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems. - Masashi Mizoguchi; Toshimitsu Ushio (V2CPS@IFM, 2016)

Symbolic Design of Networked Control Systems with State Prediction. - Masashi Mizoguchi; Toshimitsu Ushio (IEICE Trans. Inf. Syst., 2017)

Prioritization in Automotive Software Testing: Systematic Literature Review. - Ankush Dadwal; Hironori Washizaki; Yoshiaki Fukazawa; Takahiro Iida; Masashi Mizoguchi; Kentaro Yoshimura (QuASoQ@APSEC, 2018)

Optimization of automated executions based on integration test configurations of embedded software. - Masashi Mizoguchi; Takahiro Iida; Toru Irie (ICST Workshops, 2020)

Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems. - Masashi Mizoguchi; Toshimitsu Ushio (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2021)

Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems. - Masashi Mizoguchi; Toshimitsu Ushio (IEEE Control. Syst. Lett., 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 Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots. - Masashi Mizoguchi; Toshimitsu Ushio (IEEE Access, 2024)