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.