Abstract: We propose a counter-example guided inductive synthesis (CEGIS) scheme for the design of control Lyapunov functions and associated state-feedback controllers for linear systems affected by ...

Abstract: The use of passivity in control theory was motivated by the earlier use of passivity in circuit theory and passive network synthesis, beginning in the 1950s. With the well known analogy ...