Proceedings of the International Workshop on Hybrid and Real-Time Systems

Symbolic Reachability Computation for Families of Linear Vector Fields

Journal of Symbolic Computation

Real-time FRP

Proceedings of the sixth ACM SIGPLAN international conference on Functional programming

Synthesis and Viability of Minimally Interventive LegalControllers for Hybrid Systems

Discrete Event Dynamic Systems

Hybrid Systems with Finite Bisimulations

Hybrid Systems V

Orthogonal Polyhedra: Representation and Computation

HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control

Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination

FM '99 Proceedings of the Wold Congress on Formal Methods in the Development of Computing Systems-Volume I - Volume I

Automata over continuous time

Theoretical Computer Science

Hybrid I/O automata

Information and Computation

Languages and tools for hybrid systems design

Foundations and Trends in Electronic Design Automation