Login / Signup

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.

François BidetÉric GoubaultSylvie Putot
Published in: IEEE Control. Syst. Lett. (2022)
Keyphrases
  • reachability analysis
  • management system
  • complex systems
  • model checking
  • timed automata
  • real time
  • machine learning
  • artificial intelligence
  • expert systems
  • distributed systems
  • dynamical systems
  • affine invariant