50 citations · 249 across the 50 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
eess.SY2015★ 3 cited
Observer-based correct-by-design controller synthesis
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
Current state-of-the-art correct-by-design controllers are designed for full-state measurable systems. This work first extends the applicability of correct-by-design controllers to…
eess.SY2015
Data-driven and Model-based Verification: a Bayesian Identification Approach
Sofie Haesaert, Paul M. J. Van den Hof, Alessandro Abate
This work develops a measurement-driven and model-based formal verification approach, applicable to systems with partly unknown dynamics. We provide a principled method, grounded o…