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 ...
The Kalasha Jyoti procession of Goddess Kanaka Durga was taken out with grandeur atop Indrakeeladri on Thursday evening, marking the 44th annual celebration of the Bhavani Deeksha tradition. Devotees ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback