scispace - formally typeset
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

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

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

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

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.