Intelligent Distributed Computing Department
Distributed Systems Technology Group People

Kurt R. Rohloff Ph.D.


krohloff<at>bbn<dot>com

617-873-7664

BBN Technologies
10 Moulton St
Cambridge, MA 02139

The publications listed here were written in the years before I joined BBN.

For the most up-to-date list of my publications, please visit my group's publication page here.


Ph. D. Thesis | Journals | Book Chapters | Conferences | Presentations |Technical Reports | Preprints

Ph. D. Thesis

  • "Computations on Distributed Discrete-Event Systems"
    by Kurt R. Rohloff
    Ph.D. Thesis
    The University of Michigan, 2004
    [ PostScript| PDF]

up to Top

Journals

  • "Deciding Coobservability is PSPACE-complete"
    by K. Rohloff, T. Yoo and S. Lafortune
    IEEE Transactions on Automatic Control
    Vol. 48, No. 11, Nov. 2003
    [ Abstract | PostScript | PDF ]
  • "On the Synthesis of Safe Control Policies in Decentralized Control of Discrete Event Systems"
    by K. Rohloff and S. Lafortune
    IEEE Transactions on Automatic Control
    Vol. 48, No. 6, June 2003, pp. 1064-1068
    [ Abstract | PostScript | PDF ] 

up to Top

Book Chapters

  • "Recent Advances on the Control of Partially-Observed Discrete-Event Systems"
    by S. Lafortune, K. Rohloff and T. Yoo
    Proceedings of SCODES 2001, Symposium on the Supervisory Contol of Discrete Event Systems
    to be published by Kluwer Academic Publishers
    [ Abstract | PostScript| PDF]

up to Top

Conferences

  • "Symmetry Reductions for a Class of Discrete-Event Systems"
    by K. Rohloff and S. Lafortune
    Proceedings of IEEE Conference on Decision and Control 2004
    Paradise Island, the Bahamas, Dec., 2004
    [ Abstract | PostScript| PDF]
  • "Approximating the Minimal Sensor Selection for Supervisory Control"
    by S. Khuller, G. Kortsarz and K. Rohloff
    Proceedings of  the 7th IFAC Workshop on Discrete-Event Systems
    Reims, France, Sept., 2004
    [ Abstract | PostScript | PDF ]
  • "The Control and Verification of Similar Agents Operating in a Broadcast Network Environment"
    by K. Rohloff and S. Lafortune
    Proceedings of IEEE Conference on Decision and Control 2003
    Maui, Hawaii, Dec., 2003
    [ Abstract | PostScript| PDF]
  • "Supervisor Existence for Modular Discrete-Event Systems"
    by K. Rohloff and S. Lafortune
    Proc. of the 2nd IFAC Conference on Control Systems Design
    Bratislava, Slovakia, Sept., 2003
    [ Abstract | PostScript | PDF ]
  • "Recent Results on Computational Issues in Supervisory Control"
    by K. Rohloff and S. Lafortune
    Proc. of the ATPN Workshop on Discrete Event Systems Control
    Eindhoven, The Netherlands, June, 2003
    [ Abstract | PostScript | PDF ]
  • "On the Computataional Complexity of Verification of Modular Discrete-Event Systems"
    by K. Rohloff and S. Lafortune
    Proceedings of IEEE Conference on Decision and Control 2002
    Las Vegas, NV, Dec., 2002
    [ Abstract | PostScript | PDF ]

up to Top

Presentations

  • "Symmetry Reductions for a Class of Discrete-Event Systems"
    by K. Rohloff and S. Lafortune
    Presented at the CDC-04 IEEE Conference on Decision and Control
    Paradise Island, the Bahamas, Dec. 14-17, 2004
    [ PDF]
  • "Approximating the Minimal Sensor Selection for Supervisory Control"
    by S. Khuller, G. Kortsarz and K. Rohloff
    Presented at the 7th IFAC Workshop on Discrete-Event Systems 
    Reims, France, Sept. 22-24, 2004
    [ PDF]
  • "Recent Results on Computational Issues in Supervisory Control"
    by K. Rohloff and S. Lafortune
    Presented at the CDC-03 IEEE Conference on Decision and Control
    Maui, HI, Dec. 9-12, 2003
    [ PDF]
  • "Recent Results on Computational Issues in Supervisory Control"
    by K. Rohloff and S. Lafortune
    Presented at the CSD-03 ICALP conference on Control Systems Design
    Bratislava Slovakia, Sept. 7-10, 2003
    [ PDF]
  • "On the Computational Complexity of the Verification of Modular Discrete Event Systems"
    by K. Rohloff and S. Lafortune
    Presented at the CDC-02 IEEE Conference on Decision and Control
    Las Vegas, NV, Dec. 10-13, 2002
    [ PDF]

up to Top

Technical Reports

  • "Approximating the Minimal-Cost Sensor-Selection"
    by K. Rohloff and J.H. van Schuppen
    CWI report MAS-R0404, CWI, Amsterdam, the Netherlands.
    [ Abstract | PostScript | PDF]
  • "Space Efficient Methods for Testing Reachability with Applications to Supervisory Control of Discrete-Event Systems"
    by K. Rohloff and S. Lafortune
    Control group report #CGR 03-08 Dept. of EECS, Univ. of Michigan.
    [ Abstract | PostScript | PDF]
  • "Deciding Coobservability is PSPACE-complete"
    by K. Rohloff and S. Lafortune
    Control group report #CGR 03-06 Dept. of EECS, Univ. of Michigan.
    [ Abstract | PostScript | PDF]
  • "Advances in State Estimation and Controller Synthesis for General Decentralized Control of Discrete Event Systems"
    by K. Rohloff and S. Lafortune
    Control group report #CGR 01-11 Dept. of EECS, Univ. of Michigan.
    [ Abstract | PostScript | PDF]

up to Top

Preprints

  • Available upon request.

up to Top