Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications

@inproceedings{Girard2010SynthesisUA,
  title={Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications},
  author={Antoine Girard},
  booktitle={HSCC},
  year={2010}
}
This paper deals with the synthesis of state-feedback controllers using approximately bisimilar abstractions with an emphasis on safety problems. Such problems consist in synthesizing a controller that restricts the behaviors of a system so that its outputs remain in some specified safe set. One is usually interested in designing a controller that is as permissive as possible since this enables to ensure, a posteriori, secondary control objectives. Using the natural refinement technique for… CONTINUE READING
Highly Cited
This paper has 42 citations. REVIEW CITATIONS

Citations

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

References

Publications referenced by this paper.
Showing 1-3 of 3 references

Modular feedback logic for discrete event systems

  • P. J. Ramadge, W. M. Wonham
  • SIAM J. on Control and Optimization,
  • 1987
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…