Rebekah Carter's Publications
Journal papers
- Hybrid automata: an insight into the discrete abstraction of discontinuous systems. Eva M. Navarro-López, Rebekah Carter. International Journal of Systems Science, to appear, 2010.
Conference papers
- Abstractions of hybrid systems: formal languages to describe dynamical behaviour. Rebekah Carter, Eva M. Navarro-López. Proceedings of the 18th IFAC Triennial World Congress, Milano, Italy, August 2011.
- Languages spoken by dynamical behaviours: A new approach to hybrid control systems? Eva M. Navarro-López, Rebekah Carter. Proceedings of the HSCC 2010 Poster Session, Stockholm, Sweden, April 2010.
Theses
- Computational model of a rotary system with discontinuous elements. Rebekah Carter. MSc thesis, The University of Manchester, 2009.