Research

From TIME-DRIVEN to EVENT-DRIVEN systems

In the day-to-day life of our “man-made” and increasingly computer-dependent world, we notice:

First, that many of the quantities we deal with are discrete, typically involving counting integers (how many parts in an inventory, how many planes in a runway, how many telephone calls are active).

Second, that what drives many of the processes we use and depend on are instantaneous events such as the pushing of a button, hitting a keyboard key, or a traffic light turning green.

In fact, much of the technology we have invented and rely on (especially where digital computers are involved) is event-driven: communication networks, manufacturing systems, or the execution of a computer program are common examples. Not only must these systems act as “event coordinators”, but they are also expected to swiftly react to unpredictable events, rapidly adapt to changing conditions, and guarantee their users satisfactory – if not optimal – performance.

In short, all activity in these systems is due to asynchronous occurrences of discrete events, some Controlled (like hitting a keyboard key) and some not (like a spontaneous equipment failure). This feature lends itself to the term Discrete Event System (DES). When  systems combine both time-driven and event-driven behavior, we then deal with Hybrid Systems.

Research in Discrete Event and Hybrid  systems

The main challenges we face in designing and controlling discrete event and hybrid systems come from:

  • Inherent complexity (combinatorial explosion in many cases)
  • Unpredictability, uncertainty
  • Increasingly ambitious “high-performance” technological requirements

CODES Lab activities cover a wide spectrum, from basic research to the development of software tools.

These activities include:

  • Design and real-time control of communication and sensor networks, manufacturing systems and transportation system
  • Decision support systems for quality-of-service guarantees or optimal performance
  • Software testing and verification
  • Strategic planning: getting information to decision makers fast and in a comprehensive form
  • Developing a new generation of concurrent and parallel simulation tools
  • New methods for cooperative control of wirelessly networked devices
  • Autonomously reconfigurable systems
  • New methods for energy-aware systems
  • Developing an infrastructure for “smart cities”