Efficient Representation and Computation of Reachable Sets for Hybrid Systems

Olaf Stursberg, Bruce H. Krogh. Efficient Representation and Computation of Reachable Sets for Hybrid Systems. In Oded Maler, Amir Pnueli, editors, Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings. Volume 2623 of Lecture Notes in Computer Science, pages 482-497, Springer, 2003. [doi]

@inproceedings{StursbergK03,
  title = {Efficient Representation and Computation of Reachable Sets for Hybrid Systems},
  author = {Olaf Stursberg and Bruce H. Krogh},
  year = {2003},
  url = {http://link.springer.de/link/service/series/0558/bibs/2623/26230482.htm},
  researchr = {https://researchr.org/publication/StursbergK03},
  cites = {0},
  citedby = {0},
  pages = {482-497},
  booktitle = {Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3-5, 2003, Proceedings},
  editor = {Oded Maler and Amir Pnueli},
  volume = {2623},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-00913-2},
}