25th IEEE International Symposium on Industrial Electronics
Location: Santa Clara, CA, USA
Date: 8th - 10th June 2016
DCC Members Attend: Valeriy Vyatkin
IEEE International Symposium on Industrial Electronics (ISIE) 2016 took place in the heart of the Silicon Valley in Santa-Clara in June 2016. The conference was preceded by the two-days long Industry Forum where leaders of many top companies were presenting their latest developments.
From DCC, Valeriy Vyatkin attended the conference and presented joint paper with Dmitrii Drozdov, Sandeep Patil, and Victor Dubinin entitled “Formal Verification of Cyber-Physical Automation Systems Modelled with Timed Block Diagrams”.
Besides, he visited The University of California at Berkeley and presented a seminar at the group of Prof. Edward Lee on the current progress of DIACPA project. He also visited Apple Inc. headquarters at Infinite Loop 1, Cupertino and took part in the Advisory Committee meeting of IEEE Industrial Electronics Society where he chairs Technical Committee on Industrial Informatics.
The next ISIE will be in Edinburgh in June, 2017.