While many type systems based on the intuitionistic fragment of linear logic have been proposed, applications in programming languages of the full power of linear logic--including...
— The paper discusses elementary control strategies to control the phase of an oscillator. Both feedforward and feedback (P and PI) control laws are designed based on the phase r...
— We consider the use of dynamic output feedback control to improve the transient response to a step input, for invertible multivariable systems. A method is given for designing ...
The paper studies the visibility maintenance problem (VMP) for a leader-follower pair of robots modelled as first-order dynamic systems and proposes an original solution based on t...
Fabio Morbidi, Francesco Bullo, Domenico Prattichi...
— In this article, stability of continuous-time switched linear systems in the singular perturbation form is investigated. We show that the stability of slow and fast switched su...