Languages and tools for hybrid systems design, Foundations and Trends in Electronic Design Automation, vol.1, issue.1, 2006. ,
Modeling and Simulation: from Physics to Software, 2014. ,
Real Time programming: Special purpose or general purpose languages, IFIP Congress, pp.11-17, 1989. ,
URL : https://hal.archives-ouvertes.fr/inria-00075494
Operational semantics of hybrid systems, Hybrid Systems: Computation and Control (HSCC), vol.3414, 2005. ,
System Identification-theory for the user, 1999. ,
An operational semantics for simulink's simulation engine, LCTES, pp.129-138, 2012. ,
Towards Computational Hybrid System Semantics for Time-Based Block Diagrams, IFAC Proceedings volume, vol.42, pp.376-385, 2009. ,
Leveraging synchronous language principles for heterogeneous modeling and design of embedded systems, EMSOFT, 2007. ,
Translating Discrete-Time Simulink to Lustre, ACM Transactions on Embedded Computing Systems, 2005. ,
Nonstandard semantics of hybrid systems modelers, J. Comput. Syst. Sci, vol.78, issue.3, pp.877-910, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00766726
Structured analysis and design using Matlab/Simulink/Stateflow: Modelling style guidelines, 1999. ,
, Controller style guidelines for production intent using MATLAB, Simulink and Stateflow, MathWorks Automotive Advisory Board (MAAB), 2001.
On modelling guidelines: Flowchart patterns for STATEFLOW, Gesellschaft für Informatik, FG 2.1.1: Softwaretechnik Trends, vol.21, 2001. ,
The synchronous languages 12 years later, Proceedings of the IEEE, vol.91, issue.1, 2003. ,
Scade 6: A Formal Language for Embedded Critical Software Development, Eleventh International Symposium on Theoretical Aspect of Software Engineering (TASE), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01666470
Divide and recycle: types and compilation for a hybrid synchronous language, Languages, Compilers, Tools and Theory for Embedded Systems (LCTES), pp.61-70, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00654112
, A hybrid synchronous language with hierarchical automata: static typing and translation to synchronous code, pp.137-148, 2011.
A type-based analysis of causality loops in hybrid systems modelers, 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, pp.71-82, 2014. ,
URL : https://hal.archives-ouvertes.fr/hal-00938866
A synchronous-based code generator for explicit hybrid systems languages, Compiler Construction-24th International Conference, CC 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, vol.9031, pp.69-88, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01242732
SUNDIALS: Suite of nonlinear and differential/algebraic equation solvers, ACM Transactions on Mathematical Software, vol.31, issue.3, pp.363-396, 2005. ,
Zélus: A synchronous language with ODEs, Hybrid Systems: Computation and Control (HSCC), pp.113-118, 2013. ,
, Heterogeneous Concurrent Modeling and Design in Java, Memorandum UCB/ERL M04/27, 2004.
A Type-based Analysis of Causality Loops in Hybrid Systems Modelers, Nonlinear Analysis: Hybrid Systems, vol.26, pp.168-189, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-00938866
A framework for comparing models of computation, IEEE Transactions on CAD, vol.17, issue.12, 1998. ,
The synchronous dataflow programming language LUSTRE, Proceedings of the IEEE, vol.79, issue.9, pp.1305-1320, 1991. ,
A tutorial of Lustre, 2002. ,
, System Design, Modeling, and Simulation using Ptolemy II. Ptolemy.org, 2014.
On the causality of mixed-signal and hybrid models, Hybrid Systems: Computation and Control, 6th International Workshop, HSCC 2003, vol.2623, pp.328-342, 2003. ,
, Simulink: Developing S-functions, 2017.
A computational model of time for stiff hybrid systems applied to control synthesis, Control Engineering Practice, vol.20, issue.1, pp.2-13, 2012. ,
Towards computational hybrid system semantics for time-based block diagrams, 3rd IFAC Conference on Analysis and Design of Hybrid Systems (ADHS'09), pp.376-385, 2009. ,
Constructive models of discrete and continuous physical phenomena, IEEE Access, vol.2, pp.797-821, 2014. ,
,
From timed to hybrid systems," in REX Workshop, ser. Lecture Notes in Computer Science, vol.600, pp.447-484, 1991. ,
, Numerical Methods in Scientific Computing, vol.1, 2008.
, Nonstandard Analysis. Princeton Landmarks in Mathematics, 1996.
An invitation to nonstandard analysis, Nonstandard Analysis and its Applications, N. Cutland, pp.1-105, 1988. ,
Hyperstream processing systems: Nonstandard modeling of continuous-time signals, Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ser. POPL '13, pp.417-430, 2013. ,
, Simulink 7-User's Guide, 2010.
Actors without directors: A kahnian view of heterogeneous systems, Hybrid Systems: Computation and Control, 12th International Conference, vol.5469, pp.46-60, 2009. ,
The fixed-point theory of strictly causal functions, Theor. Comput. Sci, vol.574, pp.39-77, 2015. ,
,
Type-based Initialization Analysis of a Synchronous Data-flow Language, International Journal on Software Tools for Technology Transfer (STTT), vol.6, issue.3, pp.245-255, 2004. ,
The principal type-scheme of an object in combinatory logic, Transactions of the American Mathematical Society, vol.146, pp.29-60, 1969. ,
A theory of type polymorphism in programming, Journal of Computer and System Sciences, vol.17, issue.3, pp.348-375, 1978. ,
, The Mathworks, 2017.
Functional Mock-up Interface for Model Exchange, 2010. ,
, Functional Mock-up Interface for Model Exchange and CoSimulation v2, 2010.
, Functional Mock-up Interface for Co-Simulation v1, 2010.
Sundials/ML: interfacing with numerical solvers, ACM Workshop on ML, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01408230
Solving ODEs with Matlab, 2003. ,
Clock-directed Modular Code Generation of Synchronous Data-flow Languages, ACM International Conference on Languages, Compilers, and Tools for Embedded Systems (LCTES), 2008. ,
, Available: lctes08a.pdf
A Conservative Extension of Synchronous Data-flow with State Machines, ACM International Conference on Embedded Software (EMSOFT'05), 2005. ,
Lucid Synchrone, version 3. Tutorial and reference manual, 2006. ,
The constructive semantics of pure Esterel, 1999. ,
Constructive analysis of cyclic circuits, Proceedings of the International Design and Test Conference ITDC 96, 1996. ,
Compiling Esterel, 2007. ,
Implementation of the data-flow synchronous language Signal, Programming Languages Design and Implementation (PLDI), pp.163-173, 1995. ,
URL : https://hal.archives-ouvertes.fr/hal-00544128
A Synchronous Look at the Simulink Standard Library, ACM International Conference on Embedded Software (EMSOFT), 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01575631
Numerical Methods for Nonsmooth Dynamical Systems. Applications in Mechanics and Electronics, ser. Lecture Notes in Applied and Computational Mechanics, vol.35, 2008. ,
Nonsmooth Modeling and Simulation for Switched Circuits, ser. Lecture Notes in Electrical Engineering, vol.69, 2010. ,
, Continuous System Simulation, 2006.
Simulation of large-scale models in modelica: State of the art and future perspectives, Proc. of the 11th Int. Modelica Conference, vol.90, pp.782-799, 2014. ,
QSS and Multi-rate Simulation of Object-oriented Models, Proceedings of the 7th International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, ser. EOOLT '16, pp.69-77, 2016. ,
Structural analysis of multi-mode DAE systems, Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pp.253-263, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01343967
, Structural Analysis of Multi-Mode DAE Systems, 2017.