Other presentations

  1. Problem of coordination in cyber-physical system

    The design and analysis of cyber-physical systems bring many challenges, some of them resulting from the difficulty to express within the same formalism the interaction between discrete (cyber) and continuous (physical) processes. We propose in this work a component based description of cyber-physical systems. Components abstract from internal operations of …

    read more
  2. Nerve Nets, Omega-regular Languages, and Reo

    In this talk we relate Reo to some fundamental results in computer science.

    In 1951, S.C. Kleene detailed the construction of nerve nets, and characterized their behavior in terms of events occurring within a finite frame of time. He then proved that regular events are exactly the events generated …

    read more

Page 1 / 1

hosted by