Proceedings of the First International Workshop on Hybrid Systems: Computation and Control