Poster: CODEV: Automated model predictive control design and formal verification

Nicole Chan, Sayan Mitra

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish (US)
Title of host publicationHSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems
Subtitle of host publicationComputation and Control (part of CPS Week)
PublisherAssociation for Computing Machinery, Inc
Pages281-282
Number of pages2
ISBN (Electronic)9781450356428
DOIs
StatePublished - Apr 11 2018
Externally publishedYes
Event21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018 - Porto, Portugal
Duration: Apr 11 2018Apr 13 2018

Publication series

NameHSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)

Other

Other21st International Conference on Hybrid Systems: Computation and Control, HSCC 2018
CountryPortugal
CityPorto
Period4/11/184/13/18

ASJC Scopus subject areas

  • Computer Science Applications
  • Electrical and Electronic Engineering
  • Control and Systems Engineering
  • Computer Networks and Communications

Cite this

Chan, N., & Mitra, S. (2018). Poster: CODEV: Automated model predictive control design and formal verification. In HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (pp. 281-282). (HSCC 2018 - Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week)). Association for Computing Machinery, Inc. https://doi.org/10.1145/3178126.3187003