Model-based specification, analysis and synthesis of servo controllers for lithoscanners
暂无分享,去创建一个
[1] Richard C. Gronback. Eclipse Modeling Project: A Domain-Specific Language Toolkit , 2009 .
[2] Anton Cervin,et al. A Matlab toolbox for real-time and control systems co-design , 1999, Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306).
[3] Frank Budinsky,et al. Eclipse Modeling Framework , 2003 .
[4] Martin Hüfner,et al. A transformation framework for the compositional interchange format for hybrid systems , 2011 .
[5] Jpm Jeroen Voeten,et al. Specification of reactive hardware/software systems : the method software/hardware engineering (SHE) , 1997 .
[6] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[7] Richard C. Gronback. Eclipse Modeling Project: A Domain-Specific Language (DSL) Toolkit , 2009 .
[8] Gabor Karsai,et al. Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis , 2010, Proceedings of 2010 21st IEEE International Symposium on Rapid System Protyping.
[9] E.A. Lee,et al. Synchronous data flow , 1987, Proceedings of the IEEE.
[10] Frank Budinsky,et al. EMF: Eclipse Modeling Framework 2.0 , 2009 .
[11] Bart Kienhuis,et al. Design space exploration of stream-based dataflow architectures: methods and tools , 1999 .
[12] Roberto Segala,et al. Modeling and verification of randomized distributed real-time systems , 1996 .