• The Computational Power of Extended Watson-Crick L Systems 

      Sears, David (2010-12-07)
      Lindenmayer (L) systems form a class of interesting computational formalisms due to their parallel nature, the various circumstances under which they operate, the restrictions imposed on language acceptance, and other ...
    • Dynamic Observation in Discrete-Event Systems 

      Sears, David
      This dissertation studies problems of dynamic observation in discrete-event systems. In discrete-event systems, agents exist that observe events generated by a system. The agents have some task to fulfill that requires ...