Citation
Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. "Modeling Timed Concurrent Systems". CONCUR 2006 - Concurrency Theory, 17th International Conference, Christel Baier and Holger Hermanns (eds.), 1-15, August, 2006.

Abstract
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description languages), discrete-event simulation, and modeling of communication networks. They consist of concurrent components that communicate using timed signals, that is, sets of (semantically) time-stamped events. The denotational semantics of such systems is traditionally formulated in a metric space, wherein causal components are modeled as contracting functions. We show that this formulation excessively restricts the models of time that can be used. In particular, it cannot handle super-dense time, commonly used in hardware description languages and hybrid systems modeling, finite time lines, and time with no origin. Moreover, if we admit continuoustime and mixed signals (essential for hybrid systems modeling) or certain Zeno signals, then causality is no longer equivalent to its formalization in terms of contracting functions. In this paper, we offer an alternative semantic framework using a generalized ultrametric that overcomes these limitations.

Electronic downloads

• http://ptolemy.eecs.berkeley.edu/publications/papers/06/timedconcurrentsystems/
• http://dx.doi.org/10.1007/11817949_1

• HTML

  Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee. <a
  href="http://chess.eecs.berkeley.edu/pubs/254.html"
  >Modeling Timed Concurrent Systems</a>, CONCUR 2006
  - Concurrency Theory, 17th International Conference,
  Christel Baier and Holger Hermanns (eds.), 1-15, August,
  2006.

• Plain text

  Xiaojun Liu, Eleftherios Matsikoudis, Edward A. Lee.
  "Modeling Timed Concurrent Systems". CONCUR 2006 -
  Concurrency Theory, 17th International Conference, Christel
  Baier and Holger Hermanns (eds.), 1-15, August, 2006.

• BibTeX

  @inproceedings{LiuMatsikoudisLee06_ModelingTimedConcurrentSystems,
      author = {Xiaojun Liu and Eleftherios Matsikoudis and Edward
                A. Lee},
      title = {Modeling Timed Concurrent Systems},
      booktitle = {CONCUR 2006 - Concurrency Theory, 17th
                International Conference},
      editor = {Christel Baier and Holger Hermanns},
      pages = {1-15},
      month = {August},
      year = {2006},
      abstract = {Timed concurrent systems are widely used in
                concurrent and distributed real-time software,
                modeling of hybrid systems, design of hardware
                systems (using hardware description languages),
                discrete-event simulation, and modeling of
                communication networks. They consist of concurrent
                components that communicate using timed signals,
                that is, sets of (semantically) time-stamped
                events. The denotational semantics of such systems
                is traditionally formulated in a metric space,
                wherein causal components are modeled as
                contracting functions. We show that this
                formulation excessively restricts the models of
                time that can be used. In particular, it cannot
                handle super-dense time, commonly used in hardware
                description languages and hybrid systems modeling,
                finite time lines, and time with no origin.
                Moreover, if we admit continuoustime and mixed
                signals (essential for hybrid systems modeling) or
                certain Zeno signals, then causality is no longer
                equivalent to its formalization in terms of
                contracting functions. In this paper, we offer an
                alternative semantic framework using a generalized
                ultrametric that overcomes these limitations.},
      URL = {http://chess.eecs.berkeley.edu/pubs/254.html}
  }
  

Posted by Eleftherios Matsikoudis on 15 May 2007.
Groups: ptolemy
For additional information, see the Publications FAQ or contact webmaster at chess eecs berkeley edu.