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: A new time domain modeling method for dc–dc switching power converters is introduced: conversion function theory of dc converters. This method is based on the concept of “wanted variables” ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback