LCS Technical Memos (1974 - 2003): Recent submissions

Now showing items 76-78 of 486

    • Modelling and Verification of Automated Transit Systems, Using Timed Automata, Invariants and Simulations 

      Lynch, Nancy A. (1995-12)
      This paper contains an overview of recent and current work in the M.I.T. Theory of Distributed Systems research group on modelling, verifying and analyzing problems arising in automated transit systems. The problems we ...

    • Hybrid I/O Automata 

      Lynch, Nancy A.; Segala, Roberto; Vaandrager, Frits; Weinberg, H. B. (1995-12)
      We propose a new hybrid I/O automaton model that is capable of describing both continuous and discrete behavior. The model, which extends the timed I/O automaton model of [12, 7] and the phase transition system models of ...

    • Symmetric Alternation Captures BPP 

      Russell, Alexander; Sundaram, Ravi (1995-11)
      We introduce the natural class Sp2 containing those languages which may be expressed in terms of two symmetric quantifiers. This class lies between ? and ? and naturally generates a "symmetric" hierarchy corresponding to ...