Login / Signup
An improved algorithm for the control synthesis of nonlinear sampled switched systems.
Adrien Le Coënt
Julien Alexandre Dit Sandretto
Alexandre Chapoutot
Laurent Fribourg
Published in:
Formal Methods Syst. Des. (2018)
Keyphrases
</>
computer systems
control strategies
database
control system
distributed systems
autonomous systems
real time
web services
video sequences
expert systems
knowledge based systems
optimal control
control theory
nonlinear dynamics
program synthesis
operating environment