Formal methods for control of cyber-physical systems

Research output

Content available in repository 2013 2023 2024

• 27 Article
• 21 Conference contribution
• 6 Conference article
• 2 Report
• 8 More
  • 2 Phd Thesis 1 (Research TU/e / Graduation TU/e)
  • 2 Preprint
  • 1 Chapter
  • 1 Abstract
  • 1 Poster
  • 1 EngD Thesis

Content available in repository

Content available in repository

Search results

• 2023

  Another note on persistency of excitation: The linear parameter-varying case

  Verhoek, C., Haesaert, S. & Tóth, R., 20 Oct 2023, 6 p.

  Research output: Book/Report › Report › Academic

  File
  192 Downloads (Pure)
• 2022

  Decomposition of a Positive Definite Matrix Function that is Continuously Differentiable

  Verhoek, C., Koelewijn, P. J. W., Tóth, R. & Haesaert, S., 13 Jan 2022, Eindhoven: Eindhoven University of Technology. 1 p. (Technical Report TUE CS)

  Research output: Book/Report › Report › Academic

  Open Access

  File
  123 Downloads (Pure)