Advances in Theory and Analysis of Timed and Hybrid Systems
11th February, 2009 .Theme
The pervasive growth of real-time and embedded systems makes the formal understanding and analysis of timed and hybrid systems an urgent quest. Such analysis must be based on firm theoretical foundations about the properties of behavior and description formalisms for timed and hybrid systems.
This one day workshop is aimed at presenting the recent advances in the theory and formal analysis of timed and hybrid systems. Some leading experts in the area will present survey and tutorial talks.
Topics include- Theoretical Foundations of Timed and Hybrid automata
- Timed Logics
- Modelling Frameworks for Timed and Hybrid Systems
- Model checking
- Testing
- Tools and Experimental Analysis Techniques
The workshop will have survey and tutorial presentations by some leading experts working in the area of theory and formal methods for timed/hybrid systems. The workshop will also include short/poster presentations by Ph.D./Mastsers students about their recent results in this area.
Who Should Participate: Researcher as well as Masters and Ph.D. Students working in the area of theory as well as formal methods for timed and hybrid systems will find the workshop a good opportunity to update their knowledge of the field.
Speakers
- S. Ramesh (GM R&D Lab, Bangalore)
- Deepak D'souza (IISc, Bangalore)
- S. N. Krishna (IIT Bombay)
- Supratik Chakraborty (IIT Bombay)
- Aditya Kanade (Univ. Pennsylvania)
Participation and Registration:
The participation is by invitation. There is no registration fee. Interested candidates may kindly register online or write to the coordinator at the address given below. Unfortunately, it is not possible to provide accommodation to the participants.