An Operational Semantics for Hybrid Systems Involving Behavioral Abstraction
暂无分享,去创建一个
[1] A. Robinson. Non-standard analysis , 1966 .
[2] François E. Cellier,et al. Quantized State System Simulation , 2008 .
[3] Jean-Philippe Chancelier,et al. Modeling and Simulation in Scilab/Scicos with ScicosLab 4.4 , 2009 .
[4] Peter A. Fritzson,et al. Introduction to Modeling and Simulation of Technical and Physical Systems with Modelica , 2011 .
[5] Thomas A. Henzinger,et al. The theory of hybrid automata , 1996, Proceedings 11th Annual IEEE Symposium on Logic in Computer Science.
[6] Walid Taha,et al. Enclosing the behavior of a hybrid system up to and beyond a Zeno point , 2013, 2013 IEEE 1st International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA).
[7] H. Keisler. Foundations of infinitesimal calculus , 1976 .
[8] Timothy Bourke,et al. Non-standard semantics of hybrid systems modelers , 2012, J. Comput. Syst. Sci..
[9] Bernard P. Zeigler,et al. Theory of quantized systems: formal basis for DEVS/HLA distributed simulation environment , 1998, Defense, Security, and Sensing.
[10] Andreas Blass. Review: Martin Davis, Applied nonstandard analysis, and K. D. Stroyan and W. A. J. Luxemburg, Introduction to the theory of infinitesimals, and H. Jerome Keisler, Foundations of infinitesimal calculus , 1978 .
[11] Marc Pouzet,et al. Zélus: a synchronous language with ODEs , 2013, HSCC '13.
[12] Edward A. Lee,et al. Taming heterogeneity - the Ptolemy approach , 2003, Proc. IEEE.
[13] Jean-Philippe Chancelier,et al. Modeling and Simulation in Scilab , 2010 .
[14] Simon Bliudze,et al. Modelling of Complex Systems: Systems as Dataflow Machines , 2009, Fundam. Informaticae.
[15] Edward A. Lee,et al. Operational Semantics of Hybrid Systems , 2005, HSCC.
[16] Heinrich Rust. Operational Semantics for Timed Systems: A Non-standard Approach to Uniform Modeling of Timed and Hybrid Systems , 2005, Lecture Notes in Computer Science.
[17] Marc Aiguier,et al. Modeling of complex systems II: A minimalist and unified semantics for heterogeneous integrated systems , 2012, Appl. Math. Comput..
[18] Hartmut Bossel,et al. Modeling and simulation , 1994 .
[19] Sébastien Furic. Enforcing model composability in Modelica , 2009 .
[20] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.