IEEE - Institute of Electrical and Electronics Engineers, Inc. - Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP

2016 IEEE Conference on Control Applications (CCA)

Author(s): Parasara Sridhar Duggirala ; Chuchu Fan ; Matthew Potok ; Bolun Qi ; Sayan Mitra ; Mahesh Viswanathan ; Stanley Bak ; Sergiy Bogomolov ; Taylor T. Johnson ; Luan Viet Nguyen ; Christian Schilling ; Andrew Sogokon ; Hoang-Dung Tran ; Weiming Xiang
Publisher: IEEE - Institute of Electrical and Electronics Engineers, Inc.
Publication Date: 1 September 2016
Conference Location: Buenos Aires, Argentina
Conference Date: 19 September 2016
Page(s): 1,024 - 1,029
ISBN (Electronic): 978-1-5090-0755-4
DOI: 10.1109/CCA.2016.7587948
Regular:

Hybrid systems have both continuous and discrete dynamics and are useful for modeling a variety of control systems, from air traffic control protocols to robotic maneuvers and beyond. Recently,... View More

Advertisement