Symbolic Models for Nonlinear Control Systems Without Stability Assumptions

@article{Zamani2012SymbolicMF,
  title={Symbolic Models for Nonlinear Control Systems Without Stability Assumptions},
  author={Majid Zamani and Giordano Pola and Manuel Mazo and Paulo Tabuada},
  journal={IEEE Transactions on Automatic Control},
  year={2012},
  volume={57},
  pages={1804-1809}
}
Finite-state models of control systems were proposed by several researchers as a convenient mechanism to synthesize controllers enforcing complex specifications. Most techniques for the construction of such symbolic models have two main drawbacks: either they can only be applied to restrictive classes of systems, or they require the exact computation of reachable sets. In this paper, we propose a new abstraction technique that is applicable to any nonlinear sampled-data control system as long… CONTINUE READING

From This Paper

Figures, tables, and topics from this paper.

Explore Further: Topics Discussed in This Paper

Citations

Publications citing this paper.
SHOWING 1-10 OF 123 CITATIONS, ESTIMATED 51% COVERAGE

242 Citations

02040'11'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 242 citations based on the available data.

See our FAQ for additional information.

References

Publications referenced by this paper.
SHOWING 1-10 OF 35 REFERENCES

of 12th Int

  • Y. Tazaki, J. Imura. Discrete-state abstractions of nonlinear sy Proc
  • Conf. Hybrid Systems: Computation and Control…
  • 2009
Highly Influential
4 Excerpts

Symbolic models for nonlinear control systems without stability assumptions

  • M. Zamani, G. Pola, M. Mazo, P. Tabuada
  • arXiv:1002.0822, February
  • 2010
1 Excerpt

55(1):116–126

  • A. Girard, G. Pola, P. Tabuada. Approximately bisimilar symbolic models f Control
  • January
  • 2009

of 12th Int

  • G. Reißig. Computation of discrete abstractions of ar Proc
  • Conf. Hybrid Systems: Computation and Control…
  • 2009

Feedback systems

  • K. J. Astrom, R. M. Murray
  • Princeton University Press
  • 2008

Similar Papers

Loading similar papers…