ISIS Technical Reports
2007
- [isis-2007-001]
H. Fang and P.J. Antsaklis,
Distributed Control with Integral Quadratic Constraints,
ISIS Technical Report ISIS-2007-001, March 2007.
- [isis-2007-002]
N. Kottenstette and P.J. Antsaklis,
Digital Control Networks for Continuous Passive Plants Which
Maintain Stability Using Cooperative Schedulers,
ISIS Technical Report ISIS-2007-002, March 2007.
2004
- [isis-2004-001]
Lei Fang, Panos J. Antsaklis, Luis Montestruque, Brett McMickell,
Michael Lemmon, Yashan Sun, Hui Fang, Ioannis Koutroulis, Martin
Haenggi, Min Xie, and Xiaojuan Xie, Design of a Wireless Dead Reckoning
Pedestrian Navigation System -
The NavMote Experience, ISIS Technical Report ISIS-2004-001, January
2004.
- [isis-2004-002]
H. Lin and P.J. Antsaklis,
A Necessary and Sufficient Condition for Robust Asymptotic Stabilizability of
Continuous-Time Uncertain Switched Linear Systems,
ISIS Technical Report ISIS-2004-002, March 2004.
- [isis-2004-003]
M.V. Iordache and P.J. Antsaklis,
Supervision Based on Place Invariants: A Survey,
ISIS Technical Report ISIS-2004-003, July 2004.
2003
- [isis-2003-001]
X. Xu and P.J. Antsaklis,
Optimal Control of Hybrid Autonomous Systems with State Jumps,
ISIS Technical Report ISIS-2003-001, March 2003.
- [isis-2003-002]
X. Xu and P.J. Antsaklis,
Practical Stabilization of Integrator Switched Systems,
ISIS Technical Report ISIS-2003-002, March 2003.
- [isis-2003-003]
H. Lin, G. Zhai, and P.J. Antsaklis,
Set-Valued Observer Design for a Class of Uncertain
Linear Systems with Persistent Disturbance and
Measurement Noise,
ISIS Technical Report ISIS-2003-003, April 2003.
- [isis-2003-004]
H. Lin and P.J. Antsaklis,
Uniformly Ultimate Boundedness Control for Uncertain Switched Linear Systems,
ISIS Technical Report ISIS-2003-004, August 2003.
- [isis-2003-005]
H. Lin and P.J. Antsaklis, Robust Tracking and Regulation Control of
Uncertain Piecewise Linear Hybrid Systems, ISIS Technical Report
ISIS-2003-005, October 2003.
- [isis-2003-006]
H. Lin and P.J. Antsaklis, HyStar: A Matlab Toolbox for Robust
Regulation of Polytopic Uncertain Piecewise Linear Hybrid Systems, ISIS
Technical Report ISIS-2003-006, October 2003.
2002
- [isis-2002-001]
L.A. Montestruque and P.J. Antsaklis,
Model-Based Networked Control System - Stability,
ISIS Technical Report ISIS-2002-001, January 2002.
- [isis-2002-002]
M.V. Iordache and P.J. Antsaklis,
Synthesis of Supervisors Enforcing Firing Vector Constraints in Petri Nets,
ISIS Technical Report ISIS-2002-002, February 2002.
- [isis-2002-003]
M.V. Iordache and P.J. Antsaklis, Software Tools for the Supervisory Control of Petri Nets Based on Place Invariants,
ISIS Technical Report ISIS-2002-003, April 2002.
The software tools are available.
- [isis-2002-004]
X. Xu and P.J. Antsaklis, Optimal Control of Switched Autonomous Systems with a Prespecified Sequence of Active Subsystems,
ISIS Technical Report ISIS-2002-004, August 2002.
- [isis-2002-005]
M.V. Iordache and P.J. Antsaklis,
Decentralized Control of Petri Nets,
ISIS Technical Report ISIS-2002-005, October 2002.
2001
- [isis-2001-001]
X.D. Koutsoukos and P.J. Antsaklis,
Hierarchical Control of Piecewise Linear Hybrid Dynamical Systems Based on Discrete Abstractions,
ISIS Technical Report ISIS-2001-001, February 2001.
- [isis-2001-002]X.D.
Koutsoukos and P.J. Antsaklis,
Design of Stabilizing Switching Control Laws for Discrete and
Continuous-Time Linear Systems Using Piecewise-Linear Lyapunov
Functions,
ISIS Technical Report ISIS-2001-002, February 2001.
- [isis-2001-003]
X.D. Koutsoukos and P.J. Antsaklis,
Hybrid Systems Control,
ISIS Technical Report ISIS-2001-003, February 2001.
- [isis-2001-004]
X.D. Koutsoukos and P.J. Antsaklis,
Hierarchical Design of Piecewise Linear Hybrid Dynamical Systems Using a Control Regulator Approach,
ISIS Technical Report ISIS-2001-004, June 2001.
- [isis-2001-005]
X. Xu and P.J. Antsaklis,
Optimal Control of Switched Systems via Nonlinear Optimization
Based on Direct Differentiations of Value Functions,
ISIS Technical Report ISIS-2001-005, August 2001.
- [isis-2001-006]
X. Xu and P.J. Antsaklis,
Optimal Control of Switched Systems Based on Parameterization of
the Switching Instants,
ISIS Technical Report ISIS-2001-006, August 2001.
2000
-
[isis-2000-001]
J.A. Stiver, X.D. Koutsoukos, and P.J. Antsaklis,
An Invariant Based Approach to the Design of Hybrid Control Systems,
ISIS Technical Report ISIS-2000-001, January 2000.
- [isis-2000-002]
K. Laberteaux and C. Rohrs, A Proof of Convergence for a Direct
Adaptive Controller for ATM ABR Congestion Control, ISIS Technical
Report ISIS-2000-002, September 2000.
- [isis-2000-003]
M.V. Iordache, J.O. Moody and P.J. Antsaklis, Automated Synthesis of
Deadlock Prevention Supervisors Using Petri Nets, ISIS Technical Report
ISIS-2000-003, May 2000.
- [isis-2000-004]
M.V. Iordache, J.O. Moody and P.J. Antsaklis, Automated Synthesis of
Liveness Enforcing Supervisors Using Petri Nets, ISIS Technical Report
ISIS-2000-004, October 2000.
1999
-
[isis-99-001]
Xuping Xu and P.J. Antsaklis,
Stabilization of Second-Order LTI Switched Systems,
compressed postscript file
available, ISIS Technical Report isis-99-001, January 1999.
-
[isis-99-002] Lu Cheng, Source C-codes for the project of timing
based mutual exclusion in networked control systems, ISIS Technical Report
isis-99-002, February 1999.
-
[isis-99-003]
Xuping Xu and P.J. Antsaklis,
On the Reachability of a Class of Second-Order Switched Systems,
compressed postscript file
available, ISIS Technical Report isis-99-003, February 1999.
-
[isis-99-004]
John O. Moody, Panos, J. Antsaklis, Petri Net Supervisors for DES with
Uncontrollable and Unobservable Transitions, PDF file,
ISIS Technical Report isis-99-004, February 1999
-
[isis-99-005]
Xenofon D. Koutsoukos and Panos J. Antsaklis,
Computational Issues in Intelligent
Control: Discrete-Event and Hybrid Systems, PDF file,
ISIS Technical Report isis-99-005, May 1999
-
[isis-99-006]
Marian V. Iordache, John O. Moody and Panos J. Antsaklis, A Method for
Deadlock Prevention in Discrete Event Systems Using Petri Nets, PDF File
ISIS Technical Report isis-99-006, August 1999
-
[isis-99-007]
Joydeep Ganguly and M.D. Lemmon
Theory of Clock Synchronization and Mutual Exclusion
in Networked Control Systems
ISIS Technical Report, ISIS-99-007, pdf file,
August 1999.
1998
-
[isis-98-001]
M.D. Lemmon and P.J. Antsaklis, Fast Algorithms for Hybrid Control System
Design (ARO grant DAAH04-95-01-0600 final technical report), January 1998.
-
[isis-98-002]
J.O Moody and P.J. Antsaklis, Petri Net Supervisors for DES with Uncontrollable
and Unobservable Transitions, March 1998.
-
[isis-98-003]
C.J.Bett and M.D. Lemmon, On Ellipsoidal Bounds for Bounded Amplitude
Control of LTI Systems, April 1998
-
[isis-98-004]
M.D. Lemmon, K.X. He, and I. Markovsky,
A Tutorial Introduction to Supervisory Hybrid Systems, October 1998
1997
-
[isis-97-001]
M.D. Lemmon, "Performance Validation and Accommodation for Continuous-Time
State Feedback Linear Control Systems", January 1997
-
[isis-97-002]
C.J. Bett and M.D. Lemmon, "Finite-Horizon Bounded Amplitude Control
of Linear Parameter Varying Systems", January 1997 (revision of isis-96-005)
-
[isis-97-003]
Xenophon Koutsoukos, "dSPACE Software Environment in the ARO-DURIP
Facility", March 1997
-
[isis-97-004]
C.J. Bett and M.D. Lemmon, "Bounded Amplitude Control using Multiple
Linear Agents", March 1997
-
[isis-97-005]
Kevin He, Xuping Xu, and M.D. Lemmon, "Mutual Exclusion and Critical
Sections in Robotic Manufacturing Systems: an example", October 1997
-
[isis-97-006]
M.D. Lemmon "Advanced UNIX Programming:lecture notes", August 1997
-
[isis-97-007]
M.D. Lemmon and P.J. Antsaklis, "Distributed Simulation of Complex
Systems: DAAH04-96-1-0285 final technical report, October 1997.
-
[isis-97-008]
C.J. Bett and M. D. Lemmon, "On Linear Fractional Representations
of Multidimensional Rational Matrix Functions", June 1997
-
[isis-97-009]
C.J. Bett and M.D. Lemmon, "Sufficient Conditions for Self-Scheduled
Bounded Amplitude Control", September 1997.
-
[isis-97-010]
Kevin X. He and M.D. Lemmon, "Lyapunov Stability of Continuous-Valued Systems
Under the Supervision of Discrete-Event Transition Systems", October 1997
-
[isis-97-011]
Xenofon D. Koutsoukos and Panos J. Antsaklis, "A hybrid control strategy
based on the equilibria of the continuous dynamics", October 1997.
-
[isis-97-012]
J.O. Moody and P.J. Antsaklis, "Petri Net Supervisors for DES in the Presence
of Uncontrollable and Unobservable Transitions", October 1997.
-
[isis-97-013]
J.O. Moody and P.J. Antsaklis, "Supervisory Control of Petri Nets with
Uncontrollable/Unobservable Transitions", October 1997.
-
[isis-97-014]
J.O. Moody and P.J. Antsaklis, "Characterization of Feasible Controls for
Petri Nets with Unobservable Transitions", October 1997.
-
[isis-97-015]
J.O. Moody and P.J. Antsaklis, "Supervisory Control Using Computationally
Efficient Linear Techniques: A Tutorial Introduction", October 1997.
-
[isis-97-016]
J.O. Moody and P.J. Antsaklis, "Deadlock Avoidance in Petri Nets with Uncontrollable
Transitions", October 1997.
-
[isis-97-017]
P.J. Antsaklis and X.D. Koutsoukos, On Hybrid Control of Complex Systems:
A Survey, December 1997.
-
[isis-97-018]
X.D. Koutsoukos, K.X. He, M.D. Lemmon, and P.J. Antsaklis, Timed Petri
nets in Hybrid Systems: Stability and Supervisory Control, December 1997.
1996
-
[isis-96-001]
I. K. Konstantopoulos and P. J. Antsaklis, "Eigenstructure Assignment
in Reconfigurable Control Systems", January, 1996.
-
[isis-96-002]
M. D. Lemmon and B. Das, "Undergraduate Laboratory in Waveguide Photonics",
May 1996.
-
[isis-96-003]
M. D. Lemmon, "Stability of Periodically Switched Systems of First
Order Integrators", June 1996.
-
[isis-96-004]
J. O. Moody and P. J. Antsaklis, "Supervisory Control of Petri Nets
with Uncontrollable/Unobservable Transitions", August 1996
-
[isis-96-005]
C.J. Bett and M.D. Lemmon, "Finite Horizon Bounded Amplitude Control
of Linear Parameter Varying Systems", December 1996
-
[isis-96-006]
M.D. Lemmon and C.J. Bett, "Safe Implementations of Supervisory Commands",
December 1996
-
[isis-96-007]
P.T. Szymanski, M.D. Lemmon, and C.J. Bett, "Hybrid Interior Point
Training of Modular Neural Networks", December 1996 (revision)
1995
isis-95-001
-
J. Stiver, P. Antsaklis, M. Lemmon, Interface Design for Hybrid Control
Systems, January, 1995.
-
isis-95-002
-
J. Stiver, P. Antsaklis, M. Lemmon, Interface and Controller Design
for Hybrid Control Systems, February, 1995.
-
isis-95-003
-
P.T. Szymanski and M. Lemmon, An Hybrid Interior Point Algorithm for
Performing Alternating Minimizations, April, 1995.
isis-95-004
-
P. Antsaklis, J. Kantor, Intelligent Control for High Autonomy Process
Control Systems, July, 1995.
isis-95-005
-
P.T. Szymanski, M. Lemmon, and C.J. Bett, Training Mixture Radial Basis
Function Networks Using an Hybrid Interior Point Algorithm, August,
1995.
-
isis-95-006
-
I. K. Konstantopoulos and P. J. Antsaklis, An Optimization Strategy
for Reconfigurable Control Systems, September, 1995.
isis-95-007
-
P.T. Szymanski and M. Lemmon, An Hybrid Interior Point Algorithm for
Performing Alternating Minimizations, September, 1995.
isis-95-008
-
P. Antsaklis, J. Stiver, X. Yang, C. Bett, M. Lemmon, Supervisory Hybrid
Control Systems in Intelligent Control, September, 1995.
isis-95-009
-
M. Lemmon, P.T. Szymanski, C.J. Bett, and P. Antsaklis, Hybrid Interior
Point Methods for Identification of Multiple Local Models of Intelligent
Control Systems, September, 1995.
1994
-
isis-94-001
-
P. Antsaklis, DEFINING INTELLIGENT CONTROL: Report of the Task
Force on Intelligent Control, January, 1994.
-
isis-94-002
-
K. Yamalidou, J. Moody, M. Lemmon, and P. Antsaklis, Feedback Control
of Petri Nets Based on Place Invariants, February, 1994.
isis-94-003
-
M. Lemmon, Multiagent Search Algorithms for Learning and and Planning
in Colony-Style Robots, January, 1994.
isis-94-004
-
Xiaojun Yang, Panos J. Antsaklis and Michael Lemmon, On the Supremal
Controllable Sublanguage in the Discrete Event Model of Nondeterministic
Hybrid Control Systems, March, 1994.
-
isis-94-005
-
P.Szymanski and M. Lemmon, A Modified Interior Point Method for Alternating
Minimizations, March, 1994.
-
isis-94-006
-
I. Konstantopoulos and P. Antsaklis, Robust Stability of Linear Continuous
and Discrete-Time Systems Under Parametric Uncertainty, March, 1994.
-
isis-94-007
-
R. Bourguet and P. Antsaklis, Artificial Neural Networks In Electric
Power Industries, April, 1994.
-
isis-94-008
-
P. Szymanski and M. Lemmon, Interior Point Implementations of Alternating
Minimization Training, June, 1994.
-
isis-94-009
-
I. Konstantopoulos and P. Antsaklis, Design of Output Feedback Controllers
for Robust Stability and Optimal Performance of Discrete-Time Systems,
September, 1994.
isis-94-010
-
Xiaojun Yang, Michael Lemmon, and Panos J. Antsaklis, Inductive Inference
of Logical DES Controllers Using the L* Algorithm, September, 1994.
-
isis-94-011
-
J. Stiver, P. Antsaklis, M. Lemmon, A Logical DES Approach to the Design
of Hybrid Systems, October, 1994, rev. May 1995.
-
isis-94-012
-
C. Lucisano, M. Lemmon, Query-Based Attitude Control of a Low Altitude
Communications Satellites, September, 1994.
1993
-
isis-93-001
-
P. Szymanski, M. Lemmon, Consistent Measures and Bounds for Control
Policies, January, 1993.
-
isis-93-002
-
P. Antsaklis, M. Lemmon, J. Stiver, Hybrid System Modeling and Event
Identification, January, 1993.
-
isis-93-003
-
P. Antsaklis, M. Lemmon, J. Stiver, Learning to be Autonomous: Intelligent
Supervisory Control, April, 1993.
-
isis-93-004
-
I. Konstantopoulos, P. Antsaklis, Controllers with Diagnostic Capabilities.
A Neural Network Implementation, May, 1993.
-
isis-93-005
-
J. Moody, P. Antsaklis, The Dependence Identification Neural Network
Construction Algorithm, October, 1993.
-
isis-93-006
-
J. Stiver, P. Antsaklis, M. Lemmon, A Logical DES Approach to the Design
of Hybrid Control Systems, October, 1993.
isis-93-007
-
M. Lemmon, P. Antsaklis, Towards a Working Characterization of ``Intelligent''
Supervisory Control, November, 1993.
isis-93-008
-
P. Antsaklis, M. Lemmon, Intelligent Supervisory Control through System
Identification, November, 1993.
isis-93-009
-
M.D. Lemmon, P.J. Antsaklis,, On the Stability of Logical Transitions
in Hybrid Control Systems, December, 1993.
isis-93-010
-
M. Lemmon and P. Antsaklis, Inductively Inferring Valid Logical Models
of Continuous-State Dynamical Systems, December, 1993.
1992
isis-92-001
-
P. J. Antsaklis, Neural Networks for the Intelligent Control of High
Autonomy Systems, September 1992.
-
-
isis-92-002
-
M. D. Lemmon, Inductive Inference of Invariant Subspaces, September
1992.
Back to ISIS Home Page.