Sign in
Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System.
Luca Benvenuti
Alberto Ferrari
Emanuele Mazzi
Alberto L. Sangiovanni-Vincentelli
Published in:
HSCC (2008)
Keyphrases
</>
closed loop
open loop
control system
control scheme
control law
feedback control
parameter identification
asymptotic stability
evolutionary algorithm
pid controller
feedback controller
neural network
artificial neural networks