Zélus: A Synchronous Language with ODEs

Front matter

• Contents
• Foreword
  • Availability
  • Copyright notice
  • Thanks

Part I: The Zélus Language

• Synchronous Programming
• Hybrid Systems Programming
  • Initial Value Problems
  • Mixing Discrete and Continuous Signals
  • Hierarchical Automata and ODEs
• Compilation and Simulation
  • Combinatorial Functions
  • Sequential Nodes
  • Hybrid Nodes and Interaction with a Solver

Part II: Reference manual

• The language
  • Lexical conventions
  • Values
  • Global names
  • Types
  • Constants
  • Patterns
  • Signal Patterns
  • Expressions
  • Definitions
  • Type definition
  • Module implementation
  • Importing values
• zeluc
• References

This document was translated from L^AT_EX by H^EV^EA.