|
 |
|
| Information and Knowledge
Technologies
|
|
|
|
|
|
My full publication list can be seen here.
Ph.D.
Thesis | Journal
Publications | Book
Chapters | Conference
Publications | Technical
Reports
up to Top
- Kurt Rohloff, Samir Khuller and Guy Kortsarz. Approximating Optimal
Sensor Selections and Connections to Colored st-cut Problems.
Discrete-Event Dynamic Systems: Theory and Applications. Volume 16, Number
1, Jan. 2006.
- Kurt Rohloff and Stéphane Lafortune. The Verification and Control of
Interacting Similar Discrete-Event Systems. SIAM Journal on Control and
Optimization. Volume 45, Number 2, Jan. 2006.
- Kurt Rohloff, Stéphane Lafortune. PSPACE-completeness of
Modular Supervisory Control Problems. Discrete-Event Dynamic Systems,
15:2 June, 2005.
- Kurt Rohloff, Tae-Sic Yoo, Stéphane Lafortune. Deciding
Coobservability is PSPACE-complete. Transactions of Automatic Control,
48:11. November, 2003.
- Kurt Rohloff, Stéphane Lafortune. On the Synthesis
of Safe Control Policies in Decentralized Control of Discrete Event
Systems. Transactions of Automatic Control. 48:6, pg.1064-1068. June,
2003.
up to Top
up to Top
- Kurt Rohloff. “Sensor
Failure Tolerant Supervisory Control” 44th IEEE Conference on
Decision and Control, 2005 and 2005 European Control Conference. CDC-ECC
'05. Dec. 12-15, 2005.
- Kurt Rohloff. "The Diagnosis of
Failures via the Combination of Distributed Observations",
Mediterranean Conference on Decision and Control, 2005.
- Kurt Rohloff and Jan H. van Schuppen. "Approximating Minimal
Communicated Event Sets for Decentralized Supervisory Control", IFAC
World Congress, 2005.
- Kurt Rohloff, Tansu Alpcan and Tamer Başar. "A Discrete-Event Systems
Model for Congestion Control", IFAC World Congress, 2005.
- Kurt Rohloff and Jan H. van Schuppen. "Information Acquisition,
Approximation Algorithms and Supervisory Control". Workshop on Control
of Hybrid and Discrete Event Systems (CHyDES'05), a satellite event of the
26th International Conference On Application and Theory of Petri Nets and
Other Models of Concurrency (ATPN 2005). Miami Florida, June 21, 2005.
- Kurt Rohloff, Samir Khuller and Guy Kortsatz. "Approximating
Optimal Sensor Selections for Supervisory Control, Workshop on
Discrete-Event Systems", 2004. (Invited to submit a journal version of
this paper to a special edition of the journal Discrete Event Dynamic
Systems.)
- Kurt Rohloff and Stéphane Lafortune. "Symmetry Reductions for a
Class of Modular Discrete-Event Systems", Conf. on Decision and
Control, 2004.
- Kurt Rohloff and Stéphane Lafortune. "The Control and Verification
of Similar Agents Operating in a Broadcast Network", Conf. on Decision
and Control, 2003.
- Kurt Rohloff and Stéphane Lafortune. "Supervisor Existence for
Modular Discrete-Event Systems", Proc. of the 2nd IFAC Conf. on Control
Systems Design, 2003.
- Kurt Rohloff and Stéphane Lafortune. "Recent Results on
Computational Issues in Supervisory Control", Proc. of the
ATPN-Workshop Discrete Event Systems Control, 2003.
- Kurt Rohloff and Stéphane Lafortune. "On the Computational
Complexity of the Verification of Modular Discrete-Event Systems",
Conf. on Decision and Control, 2002.
up to Top
- Kurt Rohloff and Jan H. van Schuppen. Approximating the Minimal-Cost
Sensor-Selection for Discrete-Event Systems. CWI Report MAS-R0404, CWI,
Amsterdam, The Netherlands, December 2004.
- Kurt Rohloff and Stéphane Lafortune. Symmetry Reductions for a Class of
Distributed Discrete-Event Systems, University of Michigan EECS Technical
Report CGR-04-02, 2004.
- Kurt Rohloff and Stéphane Lafortune. Space Efficient Methods
for Testing Reachability with Applications to Coobservability and
Decentralized Control, University of Michigan EECS Technical Report
CGR-03-08, 2003.
- Kurt Rohloff and Stéphane Lafortune. Deciding Coobservability
is PSPACE-complete, University of Michigan EECS Technical Report
CGR-03-06, 2003.
- Kurt Rohloff and Stéphane Lafortune. Advances in State
Estimation and Controller Synthesis for General Decentralized Control of
Discrete Event Systems, University of Michigan EECS Technical Report
CGR-01-11, 2001.
up to Top