Continuous Domain Documentation

  • Ptolemy II Documentation
  • Haiyang Zheng, "Operational Semantics of Hybrid Systems," EECS Department, University of California, Berkeley, Technical Report No. UCB/EECS-2007-68, May 18, 2007.