157 citations · 573 across the 21 of their papers we have counts for
4 papers · 1 filter
A hybrid barrier certificate approach to satisfy linear temporal logic specifications
Andrea Bisoffi, Dimos V. Dimarogonas
In this work we formulate the satisfaction of a (syntactically co-safe) linear temporal logic specification on a physical plant through a recent hybrid dynamical systems formalism.…
Satisfaction of linear temporal logic specifications through recurrence tools for hybrid systems
Andrea Bisoffi, Dimos V. Dimarogonas
In this work we formulate the problem of satisfying a linear temporal logic formula on a linear plant with output feedback, through a recent hybrid systems formalism. We relate thi…
Controller design for robust invariance from noisy data
Andrea Bisoffi, Claudio De Persis, Pietro Tesi
For an unknown linear system, starting from noisy open-loop input-state data collected during a finite-length experiment, we directly design a linear feedback controller that guara…
Data-based stabilization of unknown bilinear systems with guaranteed basin of attraction
Andrea Bisoffi, Claudio De Persis, Pietro Tesi
Motivated by the goal of having a building block in the direct design of data-driven controllers for nonlinear systems, we show how, for an unknown discrete-time bilinear system, t…