Formal methods for control of cyber-physical systems

Search results

• SySCoRe: Synthesis via Stochastic Coupling Relations

  van Huijgevoort, B. C. (Creator), Schön, O. (Creator), Soudjani, S. (Creator) & Haesaert, S. (Creator), Code Ocean, 8 Nov 2022

  DOI: 10.24433/co.3825821.v1, https://codeocean.com/capsule/1170779/tree/v1 and one more link, https://codeocean.com/capsule/1170779/tree/v2 (show fewer)

  Dataset

• Decentralized Optimal Coverage Control for Constant-Speed Unicycle Multi-Agent Systems

  Le, N. K. (Contributor) & Zhang, Z. (Contributor), Zenodo, 6 Sept 2024

  DOI: 10.5281/zenodo.13715399, https://zenodo.org/records/13715399

  Dataset

• Reinforcement Learning for Robot Motion Planning Facilitated by Implicit Behavior Cloning and Dynamic Movement Primitive (IBC-DMP RL)

  Zhang, Z. (Creator), Zenodo, 20 May 2024

  DOI: 10.5281/zenodo.11237604, https://zenodo.org/records/11237604

  Dataset

• Dataset of Human Hand Motion Planning

  Zhang, Z. (Creator) & Hong, J. (Creator), Zenodo, 15 Apr 2023

  DOI: 10.5281/zenodo.8099884, https://zenodo.org/record/8099884 and one more link, https://zenodo.org/records/11237258 (show fewer)

  Dataset

• SySCoRe Repeatability Package (ARCH 2023 Category Report Case Study)

  Schön, O. (Creator), Haesaert, S. (Creator) & van Huijgevoort, B. C. (Creator), Code Ocean, 24 Apr 2023

  DOI: 10.24433/co.8616869.v1, https://codeocean.com/capsule/2856878/tree/v1

  Dataset

• Temporal logic control of a Van der Pol oscillator using a piecewise-affine abstraction

  van Huijgevoort, B. C. (Creator), Code Ocean, 5 Jan 2023

  DOI: 10.24433/co.1740530.v1, https://codeocean.com/capsule/2685165/tree/v1

  Dataset

• SySCoRe (ARCH 2022)

  Schön, O. (Creator), Haesaert, S. (Creator) & van Huijgevoort, B. C. (Creator), Code Ocean, 17 Jul 2022

  DOI: 10.24433/co.2213659.v1, https://codeocean.com/capsule/3124883/tree/v1

  Dataset