• Arts
• Business
• Computers
• Games
• Health
• Home
• Kids and Teens
• News
• Recreation
• Reference
• Regional
• Science
• Shopping
• Society
• Sports

TPTS

Theory and Parctice of Timed Systems Workshop on Theory and Practice of Timed Systems April 6-7, 2002, Grenoble, France Organizers: Eugene Asarin, Oded Maler and Sergio Yovine The study of time-dependent behavior is treated currently under different titles by different communities. Classical problems of manufacturing scheduling, for example, are considered as part of operation research and industrial engineering. Similar but different scheduling problems are encountered in the research on real-time operating systems. People who are interested in semantics, verification or performance analysis are working on models such as timed automata, timed Petri nets or max-plus algebra. Electrical engineers have to consider propagation delays in their circuits and designer of embedded controllers have to take into account the time it takes for the controller to compute its reaction after sampling the environment. The unifying theme underlying all these apparently different domains is that they treat systems whose behavior depends upon combinations of logical and temporal constraints, i.e. constraints on the distance between the occurrences of two events.

Contact Information