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 ...
There “may not have been” an actual conflict of interests in relation to the proposed sale of the Northern Ireland loan book ...
Abstract: Orthogonal time frequency space (OTFS) modulation has recently been identified as a suitable waveform for joint radar and communication systems. Focusing on the effect of data modulation on ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results
Feedback