Hybrid automata: an insight into the discrete abstraction of discontinuous systems EM Navarro-López, R Carter International Journal of Systems Science 42 (11), 1883-1898, 2011 | 40 | 2011 |
Dynamically-driven timed automaton abstractions for proving liveness of continuous systems R Carter, EM Navarro-López Formal Modeling and Analysis of Timed Systems: 10th International Conference …, 2012 | 12 | 2012 |
Deadness and how to disprove liveness in hybrid dynamical systems EM Navarro-López, R Carter Theoretical Computer Science 642, 1-23, 2016 | 8 | 2016 |
Verification of liveness properties on hybrid dynamical systems R Carter PQDT-UK & Ireland, 2013 | 6 | 2013 |
Creativity and a corpus of spoken English R Carter, A Adolphs Language, Literacy and Education: A Reader, Stoke-on-Trent: Trentham Books …, 2003 | 6 | 2003 |
Abstractions of hybrid systems: formal languages to describe dynamical behaviour R Carter, EM Navarro-López IFAC Proceedings Volumes 44 (1), 4552-4557, 2011 | 3 | 2011 |
Computational Model of a Rotary System with Discontinuous Elements R Carter Msc Dissertation, 2009 | 2 | 2009 |
Disproving liveness in hybrid dynamical systems R Carter, EM Navarro-López Applied Mathematics and Computation, 2013 | 1 | 2013 |
Languages spoken by dynamical behaviours: A new approach to hybrid control systems? EM Navarro-López, C Carter 13th ACM International Conference on Hybrid Systems: Computation and Control …, 2010 | 1 | 2010 |
Verification of liveness properties on hybrid dynamical systems EN Lopez, R Carter | | 2013 |
Model Checking by Abstraction for Proving Liveness Properties of Hybrid Dynamical Systems R Carter, EM Navarro-López ARW 2012, 29, 0 | | |