HSSCPS '18
Date: Jun 11, 2018 12:00 am – Jun 15, 2018 11:00 am
Location: Halmstad University, Sweden
Halmstead Summer School on Cyber-Physical Systems
Introduction
The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from June 11th-15th, 2018.
The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between the participants and the speakers. Lectures from previous editions can be found at http://bit.ly/cps-lectures
Tutorials
Speakers and Topics:
- Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
- De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
- Thao Dang, CNRS/Verimag, Semi Formal Validation of CPS
- Sinem Coleri Ergen, Koc University: Wireless Network design for Cyber-Physical Systems
- Taylor T. Johnson, Vanderbilt University: Design-Time and Runtime Verification for Safe Autonomous Cyber-Physical Systems
- Karl Meinke, KTH Royal Institute ofTechnology: Analysis of Cyber-Physical Systems using Machine Learning
- Dorsa Sadig, Stanford University: Safe and Interactive Robotics
- Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications
All lectures will be conducted in English.
Organizers
- Walid Taha: Halmstad University (Program Chair, mailto:maroneal@gmail.com)
- Walid Gomaa: Egypt Japan University of Science and Technology (Program Committee, mailto:walid.gomaa@ejust.edu.eg)
- Kazunori Ueda: Waseda University (Program Committee, mailto:ueda@ueda.info.waseda.ac.jp)
- Martin Törngren: KTH Royal Institute of Technology (Program Committee, mailto:martint@kth.se)
- Maria Vesterlund (Local Organization, mailto:maria.vesterlund@hh.se)
- Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)
Submitted by Anonymous
on
Halmstead Summer School on Cyber-Physical Systems
Introduction
The Summer School on Cyber-Physical Systems brings together the theoretical foundations and the industrial practice of the area in Halmstad, a place known both for innovation in embedded systems and popular beaches. This year’s school will take place from June 11th-15th, 2018.
The summer school is intended for professionals from industry (engineers, researchers, and managers) and academics (including doctoral students). Participants will learn about key topics from prominent leaders in the field. The schedule is designed to allow significant opportunities for interaction between the participants and the speakers. Lectures from previous editions can be found at http://bit.ly/cps-lectures
Tutorials
Speakers and Topics:
- Erika Abraham, RWTH Aachen University: Reachability Analysis Techniques for Hybrid Systems
- De-Jiu Chen, KTH Royal Institute of Technology: Dependable Autonomous Systems
- Thao Dang, CNRS/Verimag, Semi Formal Validation of CPS
- Sinem Coleri Ergen, Koc University: Wireless Network design for Cyber-Physical Systems
- Taylor T. Johnson, Vanderbilt University: Design-Time and Runtime Verification for Safe Autonomous Cyber-Physical Systems
- Karl Meinke, KTH Royal Institute ofTechnology: Analysis of Cyber-Physical Systems using Machine Learning
- Dorsa Sadig, Stanford University: Safe and Interactive Robotics
- Elisabeth Uhlemann, Mälardalen University: Timely and Reliable Wireless Vehicular Communications
All lectures will be conducted in English.
Organizers
- Walid Taha: Halmstad University (Program Chair, mailto:maroneal@gmail.com)
- Walid Gomaa: Egypt Japan University of Science and Technology (Program Committee, mailto:walid.gomaa@ejust.edu.eg)
- Kazunori Ueda: Waseda University (Program Committee, mailto:ueda@ueda.info.waseda.ac.jp)
- Martin Törngren: KTH Royal Institute of Technology (Program Committee, mailto:martint@kth.se)
- Maria Vesterlund (Local Organization, mailto:maria.vesterlund@hh.se)
- Walid Taha (Publicity Chair, mailto:Walid.Taha@hh.se)