Login / Signup
Closed-Loop Quantitative Verification of Rate-Adaptive Pacemakers.
Nicola Paoletti
Andrea Patanè
Marta Kwiatkowska
Published in:
ACM Trans. Cyber Phys. Syst. (2018)
Keyphrases
</>
closed loop
open loop
control system
feedback control
control scheme
control law
parameter identification
asymptotic stability
pid controller
tracking error
adaptive fuzzy
adaptive control
force control
feedback controller
control strategies
control loop