Closed-Loop Modeling and Related Problems of Embedded Control Systems in Engineering
暂无分享,去创建一个
[1] Eckehard Schnieder,et al. Integration of software specification techniques for applications in engineering : priority program SoftSpez of the German Research Foundation (DFG) : final report , 2004 .
[2] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[3] Bruce H. Krogh,et al. Synthesis of feedback control logic for a class of controlled Petri nets , 1990 .
[4] Rajeev Alur,et al. A Theory of Timed Automata , 1994, Theor. Comput. Sci..
[5] Hartmut Ehrig. Integration of Software Specification Techniques for Applications in Engineering: Introduction and Overview of Results , 2004, SoftSpez Final Report.
[6] Eckehard Schnieder,et al. Modelling, Analysis and Design of Hybrid Systems , 2002 .
[7] Ivar Jacobson,et al. The unified modeling language reference manual , 2010 .
[8] Stefan Pettersson,et al. Analysis and Design of Hybrid Systems , 1999 .
[9] René David,et al. Petri nets and grafcet - tools for modelling discrete event systems , 1992 .
[10] P. Ramadge,et al. Supervisory control of a class of discrete event processes , 1987 .