Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software

This publication has 21 references indexed in Scilit:

• The time-triggered architecture
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Hierarchically consistent control systems
  IEEE Transactions on Automatic Control, 2000
• Controllers for reachability specifications for hybrid systems
  Automatica, 1999
• Nonlinear Systems
  Published by Springer Nature ,1999
• Hierarchical hybrid control systems: a lattice theoretic formulation
  IEEE Transactions on Automatic Control, 1998
• A framework for comparing models of computation
  IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 1998
• Nonlinear Control Systems
  Published by Springer Nature ,1995
• Smart cars on smart roads: problems of control
  IEEE Transactions on Automatic Control, 1993
• The Esterel synchronous programming language: design, semantics, implementation
  Science of Computer Programming, 1992
• Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations
  Journal of Computational Physics, 1988