Thoughts on Hybrid Systems (2003)
Abstract:
There is a growing recognition of the presence of dynamical systems in many fields. In areas ranging from economics to physics and computer science to biology, many open fundamental problems are known to relate to the central problems in dynamical systems theory. Physicists generally work more with continuous dynamical systems, rather than discrete dynamical systems which computer scientists may study. The difference is that a continuous dynamical system is almost always defined as a system with an evolution function that satisfies a certain set of differential equations, while a discrete dynamical system is described by a state space involving discrete states and events which trigger discrete transitions between them. However, as computer science has come into contact with problems such as traffic management, automotive control, and modeling biological cell networks, which involve both continuous and discrete dynamical systems, a new formalism has emerged. This new formalism, the concept of a hybrid system, combines both the continuous and discrete formalisms into one entity that has fueled much research in recent years. Here we will formally introduce the notion of a hybrid system as an extension (or special case) of the concept of a dynamical system that is appropriate for many problems of interest in a wide variety of fields. We will then present summaries of some papers written on hybrid systems in recent years and present ideas for future research in the field.
Citations
| 469 | Fractals Everywhere – Barnsley - 1988 |
| 274 | Introduction to the theory of computation – Sipser - 1997 |
| 35 | Reachability analysis of hybrid systems via predicate abstraction – Alur, Dang, et al. |
| 30 | Modular specification of hybrid systems – ALUR, GROSU, et al. - 2000 |
| 14 | Formal modeling and analysis of hybrid systems: A case study in multi-robot coordination – Alur, Esposito, et al. - 1999 |
| 8 | Hybrid Modeling and – Alur, Belta, et al. - 2001 |
| 7 | Polyhedral flows in hybrid automata – Alur, Kannan, et al. - 1999 |
| 1 | Visual Programming for Modeling and – Alur, Belta, et al. - 2002 |
| 1 | The Algorithmic Analysis of Hybrid Systems”. Shorter version of paper in Theoretical Computer Science 138 – Alur, Courcoubetis, et al. - 1995 |
| 1 | Membership Problems for Timed and – Alur, Kurshan, et al. - 1998 |
| 1 | Communicating Hierarchical State – Alur, Kannan, et al. - 1999 |
| 1 | All Bézier Curves Are Attractors of Iterated Function Systems – John |

