Login / Signup

Continuous Optimization for Control of Finite-State Machines with Cascaded Hysteresis via Time-Freezing.

Wim Van RoyArmin NurkanovicRamin Abbasi-EsfedenJonathan FreyAnton PozharskiyJan SweversMoritz Diehl
Published in: CDC (2023)
Keyphrases
  • finite state machines
  • continuous optimization
  • finite state automata
  • model checking
  • control system
  • optimization methods
  • linear models
  • genetic algorithm
  • metaheuristic