Compile-Time Extensions to Hybrid ODEs

Reachability analysis for hybrid systems is an active area of development and has resulted in many promising prototype tools. Most of these tools allow users to express hybrid system as automata wi ...

[1]  Simon L. Peyton Jones,et al.  Template meta-programming for Haskell , 2002, Haskell '02.

[2]  Hsu Chen,et al.  Passive dynamic walking with knees : a point foot model , 2007 .

[3]  Arne J. Glenstrup,et al.  C-MIX: Specialization of C Programs , 1998, Partial Evaluation.

[4]  M Mernik,et al.  When and how to develop domain-specific languages , 2005, CSUR.

[5]  Aaron D. Ames,et al.  2D bipedal walking with knees and feet: A hybrid control approach , 2009, Proceedings of the 48h IEEE Conference on Decision and Control (CDC) held jointly with 2009 28th Chinese Control Conference.

[6]  Jim Grundy,et al.  Static consistency checking for Verilog wire interconnects , 2011, High. Order Symb. Comput..

[7]  Peter Sestoft,et al.  An experiment in partial evaluation: the generation of a compiler generator , 1985, SIGP.

[8]  Kwangkeun Yi,et al.  A polymorphic modal type system for lisp-like multi-staged languages , 2006, POPL '06.

[9]  Sergiy Bogomolov,et al.  HYST: a source transformation and translation tool for hybrid automaton models , 2015, HSCC.

[10]  Vijay Kumar,et al.  Modular Specification of Hybrid Systems in CHARON , 2000, HSCC.

[11]  Goran Frehse,et al.  PHAVer: algorithmic verification of hybrid systems past HyTech , 2005, International Journal on Software Tools for Technology Transfer.

[12]  Xin Chen,et al.  Flow*: An Analyzer for Non-linear Hybrid Systems , 2013, CAV.

[13]  Neil D. Jones,et al.  A partial evaluator for the untyped lambda-calculus , 1991, Journal of Functional Programming.

[14]  Krzysztof Czarnecki,et al.  DSL Implementation in MetaOCaml, Template Haskell, and C++ , 2003, Domain-Specific Program Generation.

[15]  Wei Chen,et al.  dReach: δ-Reachability Analysis for Hybrid Systems , 2015, TACAS.

[16]  Thomas A. Henzinger,et al.  Scalable Static Hybridization Methods for Analysis of Nonlinear Systems , 2016, HSCC.

[17]  Thomas A. Henzinger,et al.  HYTECH: a model checker for hybrid systems , 1997, International Journal on Software Tools for Technology Transfer.

[18]  Russ Tedrake,et al.  Efficient Bipedal Robots Based on Passive-Dynamic Walkers , 2005, Science.

[19]  Jim Grundy,et al.  Static consistency checking for verilog wire interconnects: using dependent types to check the sanity of verilog descriptions , 2009, PEPM '09.

[20]  Andrew M. Pitts,et al.  FreshML: programming with binders made simple , 2003, ICFP '03.

[21]  Eugenio Moggi,et al.  A categorical account of two-level languages , 1997, MFPS.

[22]  Robert Glück,et al.  Offline partial evaluation can be as accurate as online partial evaluation , 2004, TOPL.

[23]  Adam Duracz,et al.  Rigorous Simulation: Its Theory and Applications , 2016 .

[24]  Kunle Olukotun,et al.  Delite , 2014, ACM Trans. Embed. Comput. Syst..

[25]  Julia L. Lawall,et al.  A tour of Tempo: a program specializer for the C language , 2004, Sci. Comput. Program..

[26]  Thomas A. Henzinger,et al.  Hybrid Automata: An Algorithmic Approach to the Specification and Verification of Hybrid Systems , 1992, Hybrid Systems.

[27]  Paul Hudak,et al.  Domain Specific Languages , 1998 .

[28]  Edmund M. Clarke,et al.  dReal: An SMT Solver for Nonlinear Theories over the Reals , 2013, CADE.

[29]  Martin Odersky,et al.  Lightweight modular staging: a pragmatic approach to runtime code generation and compiled DSLs , 2010, GPCE '10.

[30]  Antoine Girard,et al.  SpaceEx: Scalable Verification of Hybrid Systems , 2011, CAV.