Login / Signup

Defining and translating a "safe" subset of simulink/stateflow into lustre.

Norman ScaifeChristos SofronisPaul CaspiStavros TripakisFlorence Maraninchi
Published in: EMSOFT (2004)
Keyphrases
  • control system
  • high level
  • neural network
  • feature selection
  • special case
  • mobile robot
  • initial set