Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control

  title={Finite Abstractions of Discrete-time Linear Systems and Its Application to Optimal Control},
  author={Yuichi Tazaki and J. Imura},
Optimal control and reachability analysis of continuous-state systems often require computational algorithms with high complexity. The use of finite abstractions of continuous-state systems reduces such problems to path-planning problems on directed graphs with a finite number of nodes, which can be computed efficiently. In this research, we propose a method to design an approximately bisimilar finite abstraction of stabilizable discrete-time linear systems, considering the minimization of the… CONTINUE READING
Highly Cited
This paper has 28 citations. REVIEW CITATIONS
16 Citations
12 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 16 extracted citations


Publications referenced by this paper.
Showing 1-10 of 12 references


  • A. A. Julius
  • Girard and G.J. Pappas : Approximate bisimulation…
  • 2006
1 Excerpt

Approximation of Discrete Time Linear Systems via Bit Length of Memory

  • K. Tsumura
  • Proc. of the 17th International Symposium on…
  • 2006
1 Excerpt

Pappas: Approximate Equivalence and Approximate Synchronization of Metric Transition

  • G.J.A.A. Julius
  • Systems, in the Proc. 45th IEEE Conf. Decision…
  • 2006


  • H. L. Hagenaars
  • Imura and H. Nijmeijer : Approximate…
  • 2004

and A

  • M. E. Broucke, M. D. Di Benedetto, S. Di Gennaro
  • Sangiovanni- Vincentelli : Optimal control using…
  • 2001
1 Excerpt

Similar Papers

Loading similar papers…