Browsing LCS Technical Reports (1974 - 2003) by Author "Vaandrager, Frits"

Now showing items 1-2 of 2

    • Compositionality for Probabilistic Automata 

      Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits
      We establish that on the dfomain of probabilistic automata, the trace distribution preorder coincides with the simulation preorder.

    • Hybrid I/O Automata* 

      Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits (2003-01)
      Hybrid systems are systems that exhibit a combination of discrete and continuous behavior. Typical hybrid systems include computer components, which operate in discrete program steps, and real-world components, whose ...