Analysis and Design Automation of Cyber-Physical System with Hippo and IOPT-Tools.

Remigiusz Wisniewski, Grzegorz Bazydlo, Lus Gomes, Anik Costa, Marcin Wojnakowski

Browse the full IECON paper archive.