Y
Yuichi Tazaki
Researcher at Kobe University
Publications - 86
Citations - 569
Yuichi Tazaki is an academic researcher from Kobe University. The author has contributed to research in topics: Computer science & Model predictive control. The author has an hindex of 12, co-authored 71 publications receiving 487 citations. Previous affiliations of Yuichi Tazaki include Tokyo Institute of Technology & Nagoya University.
Papers
More filters
Book ChapterDOI
Bisimilar Finite Abstractions of Interconnected Systems
Yuichi Tazaki,Jun-ichi Imura +1 more
TL;DR: This paper addresses the design of approximately bisimilar finite abstractions of systems that are composed of the interconnection of smaller subsystems by showing that the ordinary notion of approximate bisimulation does not preserve the inter connection structure of the concrete model.
Journal ArticleDOI
Modeling and Analysis of Driving Behavior Based on a Probability-Weighted ARX Model
TL;DR: A probability-weighted autoregressive exogenous (PrARX) model wherein the multiple ARX models are composed of the probabilistic weighting functions, which can represent both the motion-control and decision-making aspects of the driving behavior.
Journal ArticleDOI
Discrete Abstractions of Nonlinear Systems Based on Error Propagation Analysis
Yuichi Tazaki,Jun-ichi Imura +1 more
TL;DR: The iterative refinement algorithm, which generates a discrete abstract model under a given error specification, is proposed, which is guaranteed to terminate in finite iterations.
Book ChapterDOI
Discrete-State Abstractions of Nonlinear Systems Using Multi-resolution Quantizer
Yuichi Tazaki,Jun-ichi Imura +1 more
TL;DR: The notion of quantizer embedding is extended, which has been proposed by the authors' previous works as a transformation from continuous- state systems to discrete-state systems, to a multi-resolution setting, and a computational method is proposed that analyzes how a locally generated quantization error is propagated through the state space.
Journal ArticleDOI
Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control
Yuichi Tazaki,Jun-ichi Imura +1 more
TL;DR: It is shown that a suboptimal solution to optimal control problems with a known error bound is obtained by simulating the optimal path of an approximately bisimilar finite abstraction of stabilizable discrete-time linear systems.