​
Login / Signup
Masashi Mizoguchi
ORCID
Publication Activity (10 Years)
Years Active: 2015-2024
Publications (10 Years): 9
Top Topics
Feedback Controller
Embedded Software
Symbolic Representation
Literature Review
Top Venues
IEEE Control. Syst. Lett.
IEICE Trans. Inf. Syst.
ADHS
V2CPS@IFM
</>
Publications
</>
Masashi Mizoguchi
,
Toshimitsu Ushio
Abstraction-Based Safe Control With Alternating Simulation-Based Shields and Its Application to Mobile Robots.
IEEE Access
12 (2024)
Masashi Mizoguchi
,
Toshimitsu Ushio
Abstraction-Based Symbolic Control Barrier Functions for Safety-Critical Embedded Systems.
IEEE Control. Syst. Lett.
6 (2022)
Masashi Mizoguchi
,
Toshimitsu Ushio
Abstraction-Based Control Under Quantized Observation With Approximate Opacity Using Symbolic Control Barrier Functions.
IEEE Control. Syst. Lett.
6 (2022)
Masashi Mizoguchi
,
Toshimitsu Ushio
Deadlock-Free Symbolic Smith Controllers Based on Prediction for Nondeterministic Systems.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci.
(11) (2021)
Masashi Mizoguchi
,
Takahiro Iida
,
Toru Irie
Optimization of automated executions based on integration test configurations of embedded software.
ICST Workshops
(2020)
Ankush Dadwal
,
Hironori Washizaki
,
Yoshiaki Fukazawa
,
Takahiro Iida
,
Masashi Mizoguchi
,
Kentaro Yoshimura
Prioritization in Automotive Software Testing: Systematic Literature Review.
QuASoQ@APSEC
(2018)
Masashi Mizoguchi
,
Toshimitsu Ushio
Symbolic Design of Networked Control Systems with State Prediction.
IEICE Trans. Inf. Syst.
(6) (2017)
Masashi Mizoguchi
,
Toshimitsu Ushio
Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems.
V2CPS@IFM
(2016)
Masashi Mizoguchi
,
Toshimitsu Ushio
Symbolic control of systems with dead times using symbolic smith predictors.
CDC
(2016)
Masashi Mizoguchi
,
Toshimitsu Ushio
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems.
ADHS
(2015)