Syntax and semantics of the compositional interchange format for hybrid systems
暂无分享,去创建一个
[1] Wang Yi,et al. Uppaal in a nutshell , 1997, International Journal on Software Tools for Technology Transfer.
[2] Alberto L. Sangiovanni-Vincentelli,et al. Interchange Format for Hybrid Systems: Abstract Semantics , 2006, HSCC.
[3] Christian Sonntag,et al. On the Connection of Equation- and Automata-based Languages: Transforming the Compositional Interchange Format to Modelica , 2011 .
[4] Alberto Bemporad,et al. An Equivalence Result between Linear Hybrid Automata and Piecewise Affine Systems , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.
[5] Antoine Girard,et al. SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.
[6] Jan Lunze,et al. Handbook of hybrid systems control : theory, tools, applications , 2009 .
[7] Hilding Elmqvist,et al. Modelica — A unified object-oriented language for physical systems modeling , 1997 .
[8] Thomas A. Henzinger,et al. Decomposing refinement proofs using assume-guarantee reasoning , 2000, IEEE/ACM International Conference on Computer Aided Design. ICCAD - 2000. IEEE/ACM Digest of Technical Papers (Cat. No.00CH37140).
[9] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.
[10] Joseph Sifakis,et al. An Algebraic Framework for Urgency , 2000, Inf. Comput..
[11] Michel A. Reniers,et al. Deriving a Simulator for a Hybrid Language Using SOS Rules , 2013 .
[12] Goran Frehse. PHAVer: Algorithmic Verification of Hybrid Systems Past HyTech , 2005, HSCC.
[13] D. A. van Beek,et al. Syntax and formal semantics of Chi 2.0 , 2008 .
[14] Holger Hermanns,et al. MODEST: A Compositional Modeling Formalism for Hard and Softly Timed Systems , 2006, IEEE Transactions on Software Engineering.
[15] Ramon R. H. Schiffelers,et al. Foundations of a Compositional Interchange Format for Hybrid Systems , 2007, HSCC.
[16] Nancy A. Lynch,et al. Hybrid I/O Automata Revisited , 2001, HSCC.
[17] Dana S. Scott,et al. Outline of a Mathematical Theory of Computation , 1970 .
[18] Ramon R. H. Schiffelers,et al. Supervisory control synthesis for a patient support system , 2009, 2009 European Control Conference (ECC).
[19] Martin Hüfner,et al. A transformation framework for the compositional interchange format for hybrid systems , 2011 .
[20] Ka Lok Man,et al. A Hybrid Language for Modeling, Simulation and Verification , 2003, ADHS.
[21] D. A. van Beek,et al. A semantic-preserving transformation from the compositional interchange format to UPPAAL , 2011 .
[22] Michel A. Reniers,et al. Linearization of CIF Through SOS , 2011, EXPRESS.
[23] Jasen Markovski,et al. Reconciling Urgency and Variable Abstraction in a Hybrid Compositional Setting , 2010, FORMATS.
[24] Gordon D. Plotkin,et al. A structural approach to operational semantics , 2004, J. Log. Algebraic Methods Program..
[25] Olaf Stursberg,et al. Verification of hybrid controlled processing systems based on decomposition and deduction , 2001, Proceeding of the 2001 IEEE International Symposium on Intelligent Control (ISIC '01) (Cat. No.01CH37206).
[26] Ramon R. H. Schiffelers,et al. New Concepts in the Abstract Format of the Compositional Interchange Format , 2009, ADHS.
[27] Ka Lok Man,et al. Syntax and consistent equation semantics of hybrid Chi , 2006, J. Log. Algebraic Methods Program..
[28] Michael Tiegelkamp,et al. IEC 61131-3: Programming Industrial Automation Systems , 2001, Springer Berlin Heidelberg.
[29] Wang Yi,et al. Timed Automata: Semantics, Algorithms and Tools , 2003, Lectures on Concurrency and Petri Nets.
[30] Jan Friso Groote,et al. Notions of bisimulation and congruence formats for SOS with data , 2005, Inf. Comput..
[31] Jasen Markovski,et al. Coordination of resources using generalized state-based requirements , 2010, WODES.
[32] Harsh Beohar,et al. Hierarchical states in the Compositional Interchange Format , 2010, SOS.
[33] van Jan Schuppen. Control for coordination of distributed systems , 2008 .
[34] Michel A. Reniers,et al. Hybrid process algebra , 2005, J. Log. Algebraic Methods Program..
[35] Ka Lok Man,et al. Formal specification and analysis of hybrid systems , 2006 .
[36] Frank Budinsky,et al. EMF: Eclipse Modeling Framework 2.0 , 2009 .
[37] John C. Reynolds. Theories of programming languages , 1998 .
[38] T. Henzinger. The theory of hybrid automata , 1996, LICS 1996.
[39] Jos C. M. Baeten,et al. Process Algebra: Equational Theories of Communicating Processes , 2009 .
[40] Alberto Sangiovanni-Vincentelli,et al. Hybrid Control: Taming Heterogeneity and Complexity of Networked Embedded Systems , 2006 .
[41] Holger Hermanns,et al. MoDeST: A compositional modeling formalism for real-time and stochastic systems , 2004 .
[42] Michel A. Reniers,et al. Lost in Translation: Hybrid-Time Flows vs. Real-Time Transitions , 2008, HSCC.
[43] Rom Langerak,et al. A Composition Operator for Systems with Active and Passive Actions , 2005, FORTE.
[44] Goran Frehse,et al. PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.
[45] Christian Sonntag,et al. Translating Sequential Function Charts to the Compositional Interchange Format for hybrid systems , 2010, 49th IEEE Conference on Decision and Control (CDC).
[46] Michel A. Reniers,et al. Hybrid transition systems , 2002 .
[47] Bart De Schutter,et al. Equivalence of hybrid dynamical models , 2001, Autom..