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 presents and tests a one-node method for implementing smart grid functions to operate residential loads. The proposed method is developed based on adjusting the power demands of ...

Union Minister of Civil Aviation Ram Mohan Naidu informed Parliament on Monday that the country's largest airline, IndiGo, did not raise any issue or red flags during a clarification meeting held on 1 ...