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: This paper deals with the reliability assessment of electrical power supply systems under redundancy. For doing so, three probabilistic safety analysis (PSA) methods are proposed and ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback