Final ProgramThe program outline is below. Full program details are available here. The sessions will be held in RunAn and Scania Hall, respectively. Lunch will be served in Restaurant Hyllan and in the Volvo foyer. Tuesday, May 27 | 18:00-20:00 | Registration at the conference site, Volvo Foyer, address Chalmersplatsen 1. John L's Pub, 50 m from the registration desk is open 16:00-23:00. | Wednesday, May 28 | 08:00 | Registration, Volvo Foyer | 08:40-09:00 | Opening Session, RunAn | 09:00-10:00 | Plenary 1, RunAn Panos J. Antsaklis, University of Notre Dame, USA | | Coffee, Volvo Foyer | 10:20-12:00 | Session WeM1, RunAn Supervisory Control | Session WeM2, Scania Max-Plus Algebra and Max-Plus Systems I (invited) | | Lunch, Restaurant Hyllan | 13:30-15:10 | Session WeA1, RunAn SAT-solving: Implementation, Applications and Extensions (invited) | Session WeA2, Scania Stochastic Control and Analysis | 15:10-15:50 | Coffee, Volvo Foyer Poster Session: Benchmarking of Software Tools | 15:50-17:30 | Session WeE1, RunAn Optimization of Discrete-Event and Hybrid Dynamical Systems (invited) | Session WeE2, Scania Controller Synthesis and Implementation | 18:30-19:15 | Welcome Reception at Lindholmen Science Park. The boat departs from Lilla Bommen (see map) 18:30. Either you walk there from Chalmers (approx 20 minutes), or you take public transport, tram 10 or bus 16 (same ticket on tram/bus and boat). | Thursday, May 29 | 08:50-10:30 | Session ThM1, RunAn Confluence of Controls and Computer Science in Discrete Event Systems (invited) | Session ThM2, Scania Max-Plus Algebra and Max-Plus Systems II (invited) | | Coffee, Volvo Foyer | |
11:00-12:00 | Plenary II, RunAn Kim G. Larsen, Aalborg University, Denmark | | Lunch, Volvo Foyer | |
13:30-15:10 | Session ThA1, RunAn Modeling Systems Biology from the point of view of Discrete and Hybrid Systems (invited) | Session ThA2, Scania Control of Petri Nets | | Coffee | 15:30-16:50 | Session ThE1, RunAn Model Checking | Session ThE2, Scania Control Applications | 17:00-22:30 | Boat tour from Göteborg to Marstrand (2 hours) and Banquet at Carlstens Fortress. Bus transport from Chalmers main entrance to Lilla Bommen (see map) 17:00, and bus transport around 22:30 from Marstrand back to the hotels. | Friday, May 30 | 08:50-10:30 | Session FrM1, RunAn Diagnosis | Session FrM2, Scania Modeling and Control | | Coffee, Volvo Foyer | 11:00-12:00 | Plenary III, RunAn Stephan Biller, General Motors R&D Center, Detroit, USA | | Lunch, Volvo Foyer | 13:30-15:10 | Session FrA1, RunAn Fault Diagnosis and Identification of Discrete Event Systems using Petri Nets (invited) | Session FrA2, Scania Modular and Decentralized Control | 15:20-15:40 | Closing Session, RunAn | 16:00-16:20 | Post conference activity: Demonstration of Chalmers Automation Lab | |