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

• 2019

  The smart carrier: design of a novel approach to the next generation of line sorters

  Alosta, M., 23 Oct 2019, Eindhoven: Technische Universiteit Eindhoven. 71 p.

  Research output: Thesis › EngD Thesis

  Open Access

  File
  237 Downloads (Pure)