SMT-based Synthesis of Safe and Robust PID Controllers for Stochastic Hybrid Systems

  1. Lookup NU author(s)
  2. Fedor Shmarov
  3. Dr Paolo Zuliani
Author(s)Shmarov F, Paoletti N, Bartocci E, Lin S, Smolka SA, Zuliani P
Editor(s)Ofer Strichman
Publication type Conference Proceedings (inc. Abstract)
Conference Name13th Haifa Verification Conference (HVC 2017)
Conference LocationHaifa, Israel
Year of Conference2017
Source Publication Date
Volume
Pages
Full text for this publication is not currently held within this repository. Alternative links are provided below where available.
URLhttps://www.research.ibm.com/haifa/conferences/hvc2017/
Share