Hai Lin

Orcid: 0000-0002-5242-2366

Affiliations:
  • University of Notre Dame, IN, USA (PhD 2005)
  • National University of Singapore, Singapore (former)


According to our database1, Hai Lin authored at least 210 papers between 2002 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
OpenFMNav: Towards Open-Set Zero-Shot Object Navigation via Vision-Language Foundation Models.
CoRR, 2024

2023
Output-Based Dynamic Event-Triggered Control for Networked Control Systems With Delays and Packet Losses Without Acknowledgements.
IEEE Trans. Autom. Control., December, 2023

Continuous-Observation One-Sided Two-Player Zero-Sum Partially Observable Stochastic Game With Public Actions.
IEEE Trans. Autom. Control., December, 2023

Temporal Logic Motion Planning With Convex Optimization via Graphs of Convex Sets.
IEEE Trans. Robotics, October, 2023

Provable-Correct Partitioning Approach for Continuous-Observation POMDPs With Special Observation Distributions.
IEEE Control. Syst. Lett., 2023

Structural Balance of Complex Weighted Graphs and Multi-Partite Consensus.
IEEE Control. Syst. Lett., 2023

Dissipativity-Based Decentralized Co-Design of Distributed Controllers and Communication Topologies for Vehicular Platoons.
CoRR, 2023

Estimating Infinite-Dimensional Continuum Robot States From the Tip.
CoRR, 2023

Inverse Dynamics Trajectory Optimization for Contact-Implicit Model Predictive Control.
CoRR, 2023

Learning Evacuee Models from Robot-Guided Emergency Evacuation Experiments.
CoRR, 2023

Smooth Robustness Measures for Symbolic Control Via Signal Temporal Logic.
CoRR, 2023

Full State Estimation of Soft Robots From Tip Velocities: A Cosserat-Theoretic Boundary Observer.
CoRR, 2023

Multi-Robot-Guided Crowd Evacuation: Two-Scale Modeling and Control Based on Mean-Field Hydrodynamic Models.
CoRR, 2023

Decentralized and Compositional Interconnection Topology Synthesis for Linear Networked Systems.
Proceedings of the 31st Mediterranean Conference on Control and Automatio, 2023

Stable Real-Time Feedback Control of a Pneumatic Soft Robot.
IROS, 2023

Task Space Tracking of Soft Manipulators: Inner-Outer Loop Control Based on Cosserat-Rod Models.
Proceedings of the American Control Conference, 2023

Multi-robot-assisted human crowd control for emergency evacuation: A stabilization approach.
Proceedings of the American Control Conference, 2023

Non-Linear Networked Systems Analysis and Synthesis using Dissipativity Theory.
Proceedings of the American Control Conference, 2023

Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Using Vector String Lyapunov Functions.
Proceedings of the American Control Conference, 2023

2022
Distributed Mean-Field Density Estimation for Large-Scale Systems.
IEEE Trans. Autom. Control., 2022

Transporting Robotic Swarms Via Mean-Field Feedback Control.
IEEE Trans. Autom. Control., 2022

Automatic Trajectory Synthesis for Real-Time Temporal Logic.
IEEE Trans. Autom. Control., 2022

Point-Based Value Iteration for VAR-POMDPs.
IEEE Control. Syst. Lett., 2022

Privacy-Preserving POMDP Planning via Belief Manipulation.
IEEE Control. Syst. Lett., 2022

Mixed-Integer Programming for Signal Temporal Logic With Fewer Binary Variables.
IEEE Control. Syst. Lett., 2022

A More Scalable Mixed-Integer Encoding for Metric Temporal Logic.
IEEE Control. Syst. Lett., 2022

Centralized and Decentralized Techniques for Analysis and Synthesis of Non-Linear Networked Systems.
CoRR, 2022

Distributed Adaptive Backstepping Control for Vehicular Platoons with Mismatched Disturbances Under Vector String Stability.
CoRR, 2022

The Stackelberg equilibrium for one-sided zero-sum partially observable stochastic games.
Autom., 2022

A new performance bound for submodular maximization problems and its application to multi-agent optimal coverage problems.
Autom., 2022

A Generalized Distributed Analysis and Control Synthesis Approach for Networked Systems with Arbitrary Interconnections.
Proceedings of the 30th Mediterranean Conference on Control and Automation, 2022

Contact-Implicit Trajectory Optimization with Hydroelastic Contact and iLQR.
Proceedings of the IEEE/RSJ International Conference on Intelligent Robots and Systems, 2022

Mini Cheetah, the Falling Cat: A Case Study in Machine Learning and Trajectory Optimization for Robot Acrobatics.
Proceedings of the 2022 International Conference on Robotics and Automation, 2022

Multi-Robot-Assisted Human Crowd Evacuation using Navigation Velocity Fields.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

PDE-based Dynamic Control and Estimation of Soft Robotic Arms.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

On-line Estimation of Stability and Passivity Metrics.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022

Backstepping Mean-Field Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems.
Proceedings of the American Control Conference, 2022

Feedback Interconnected Mean-Field Density Estimation and Control.
Proceedings of the American Control Conference, 2022

Robust Approximate Simulation for Hierarchical Control of Piecewise Affine Systems under Bounded Disturbances.
Proceedings of the American Control Conference, 2022

to Control Robot Hopping over Uneven Terrain.
Proceedings of the American Control Conference, 2022

2021
The Complexity in Complete Graphic Characterizations of Multiagent Controllability.
IEEE Trans. Cybern., 2021

Approximate Simulation for Template-Based Whole-Body Control.
IEEE Robotics Autom. Lett., 2021

PDE-Based Dynamic Density Estimation for Large-Scale Agent Systems.
IEEE Control. Syst. Lett., 2021

Trajectory Optimization for High-Dimensional Nonlinear Systems Under STL Specifications.
IEEE Control. Syst. Lett., 2021

A Smooth Robustness Measure of Signal Temporal Logic for Symbolic Control.
IEEE Control. Syst. Lett., 2021

idSTLPy: A Python Toolbox for Active Perception and Control.
CoRR, 2021

Active Perception and Control from PrSTL Specifications.
CoRR, 2021

Backstepping Density Control for Large-Scale Heterogeneous Nonlinear Stochastic Systems.
CoRR, 2021

Feedback Interconnected Mean-Field Estimation and Control.
CoRR, 2021

Optimal DoS attack schedules on remote state estimation under multi-sensor round-robin protocol.
Autom., 2021

Supervisor synthesis of POMDP via automata learning.
Autom., 2021

An Open, Real-World Dataset of Cellular UAV Communication Properties.
Proceedings of the 30th International Conference on Computer Communications and Networks, 2021

Control Barrier Functions for Singularity Avoidance in Passivity-Based Manipulator Control.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021

Field Estimation using Robotic Swarms through Bayesian Regression and Mean-Field Feedback.
Proceedings of the 2021 American Control Conference, 2021

Distributed Density Filtering for Large-Scale Systems Using Mean-Filed Models.
Proceedings of the 2021 American Control Conference, 2021

2020
H<sub>∞</sub> Consensus for Multiagent-Based Supply Chain Systems Under Switching Topology and Uncertain Demands.
IEEE Trans. Syst. Man Cybern. Syst., 2020

Distributed Communication-Aware Motion Planning for Networked Mobile Robots Under Formal Specifications.
IEEE Trans. Control. Netw. Syst., 2020

Opacity of Discrete Event Systems with Active Intruder.
CoRR, 2020

Specification mining and automated task planning for autonomous robots based on a graph-based spatial temporal logic.
CoRR, 2020

Deployment of Robotic Swarms via Density Feedback Control.
CoRR, 2020

Approximate Simulation for Template-Based Whole-Body Control.
CoRR, 2020

Ensuring Privacy in Location-Based Services: A Model-based Approach.
CoRR, 2020

A graph-based spatial temporal logic for knowledge representation and automated reasoning in cognitive robots.
CoRR, 2020

Complex pattern generation for swarm robotic systems using spatial-temporal logic and density feedback control.
Proceedings of the 2020 American Control Conference, 2020

Robust Approximate Simulation for Hierarchical Control of Linear Systems under Disturbances.
Proceedings of the 2020 American Control Conference, 2020

2019
Permissive Supervisor Synthesis for Markov Decision Processes Through Learning.
IEEE Trans. Autom. Control., 2019

Vector Autoregressive POMDP Model Learning and Planning for Human-Robot Collaboration.
IEEE Control. Syst. Lett., 2019

Active Perception and Control From Temporal Logic Specifications.
IEEE Control. Syst. Lett., 2019

Kalman Filtering with Gaussian Processes Measurement Noise.
CoRR, 2019

Bayesian Optimization for Polynomial Time Probabilistically Complete STL Trajectory Synthesis.
CoRR, 2019

CollabDrone: A Collaborative Spatiotemporal-Aware Drone Sensing System Driven by Social Sensing Signals.
Proceedings of the 28th International Conference on Computer Communication and Networks, 2019

Formal Connections between Template and Anchor Models via Approximate Simulation.
Proceedings of the 19th IEEE-RAS International Conference on Humanoid Robots, 2019

Reactive Supervisory Control of Open Discrete Event Systems.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019

Toward Verifiable Real-Time Obstacle Motion Prediction for Dynamic Collision Avoidance.
Proceedings of the 2019 American Control Conference, 2019

2018
Platoon Formation Control With Prescribed Performance Guarantees for USVs.
IEEE Trans. Ind. Electron., 2018

Formal Methods for Stability Analysis of Networked Control Systems With IEEE 802.15.4 Protocol.
IEEE Trans. Control. Syst. Technol., 2018

H<sub>∞</sub> Control of Two-Time-Scale Markovian Switching Production-Inventory Systems.
IEEE Trans. Control. Syst. Technol., 2018

Privacy Verification and Enforcement via Belief Abstraction.
IEEE Control. Syst. Lett., 2018

Perfectly Controllable Multi-Agent Networks.
CoRR, 2018

Reactive Supervisory Control of Open Discrete-event Systems.
CoRR, 2018

Scalable Integrated Task and Motion Planning from Signal Temporal Logic Specifications.
CoRR, 2018

Privacy Preserving Controller Synthesis via Belief Abstraction.
CoRR, 2018

Modular Cooperative Tasking for Multi-agent Systems.
Proceedings of the 14th IEEE International Conference on Control and Automation, 2018

POMDP Model Learning for Human Robot Collaboration.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Coordinated Robot-Assisted Human Crowd Evacuation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Privacy Verification in POMDPs via Barrier Certificates.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018

Solving Complex Tasks Hierarchically from Demonstrations.
Proceedings of the 2018 Annual American Control Conference, 2018

Parameter and Insertion Function Co-synthesis for Opacity Enhancement in Parametric Stochastic Discrete Event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Synthesis of Insertion Functions to Enforce Decentralized and Joint Opacity Properties of Discrete-event Systems.
Proceedings of the 2018 Annual American Control Conference, 2018

Reactive Integrated Mission and Motion Planning for Mobile Robotic Manipulators.
Proceedings of the 2018 Annual American Control Conference, 2018

A Mean Field Game Approach to Swarming Robots Control.
Proceedings of the 2018 Annual American Control Conference, 2018

2017
An Iterative Method for Control Gain Design of Multiagent Systems With Process Noise.
IEEE Trans. Control. Syst. Technol., 2017

Spatially-temporally online fault detection using timed multivariate statistical logic.
Eng. Appl. Artif. Intell., 2017

Reactive Integrated Mission and Motion planning.
CoRR, 2017

Supervisor Synthesis of POMDP based on Automata Learning.
CoRR, 2017

Counterexample-Guided Abstraction Refinement for POMDPs.
CoRR, 2017

A Learning Based Optimal Human Robot Collaboration with Linear Temporal Logic Constraints.
CoRR, 2017

Learning-based Formal Synthesis of Cooperative Multi-agent Systems.
CoRR, 2017

Coordination and Control of Distributed Discrete-event Systems subject to Sensor and Actuator Failures.
CoRR, 2017

Distributed communication-aware motion planning for multi-agent systems from STL and SpaTeL specifications.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017

Toward efficient manufacturing systems: A trust based human robot collaboration.
Proceedings of the 2017 American Control Conference, 2017

Communication-aware motion planning for multi-agent systems from signal temporal logic specifications.
Proceedings of the 2017 American Control Conference, 2017

2016
Sampled-Data Fuzzy Stabilization of Nonlinear Systems Under Nonuniform Sampling.
IEEE Trans. Fuzzy Syst., 2016

Effects of Mixed-Modes on the Stability Analysis of Switched Time-Varying Delay Systems.
IEEE Trans. Autom. Control., 2016

Combined top-down and bottom-up design of cooperative multi-robot systems.
CoRR, 2016

SafeGuardPF: Safety Guaranteed Reactive Potential Fields for Mobile Robots in Unknown and Dynamic Environments.
CoRR, 2016

Safety Certified Cooperative Adaptive Cruise Control under Unreliable Inter-vehicle Communications.
CoRR, 2016

Learning-based formal synthesis of cooperative multi-agent systems with an application to robotic coordination.
Proceedings of the 24th Mediterranean Conference on Control and Automation, 2016

Assume-guarantee reasoning framework for MDP-POMDP.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Formal design of robot Integrated Task and Motion Planning.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016

Counterexample-guided distributed permissive supervisor synthesis for probabilistic multi-agent systems through learning.
Proceedings of the 2016 American Control Conference, 2016

Achieving fault-tolerance and safety of discrete-event systems through learning.
Proceedings of the 2016 American Control Conference, 2016

Extended Abstract: Formal Design of Cooperative Multi-Agent Systems.
Proceedings of the 2016 AAAI Fall Symposia, Arlington, Virginia, USA, November 17-19, 2016, 2016

2015
Protocols Design and Uncontrollable Topologies Construction for Multi-Agent Networks.
IEEE Trans. Autom. Control., 2015

Learning based supervisor synthesis of POMDP for PCTL specifications.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015

Counterexample-guided permissive supervisor synthesis for probabilistic systems through learning.
Proceedings of the American Control Conference, 2015

Learning-based design of fault-tolerant cooperative multi-agent systems.
Proceedings of the American Control Conference, 2015

Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015

2014
Output feedback tracking control by additive state decomposition for a class of uncertain systems.
Int. J. Syst. Sci., 2014

Hierarchical hybrid modelling and control of an unmanned helicopter.
Int. J. Control, 2014

Hybrid Dynamical Systems: An Introduction to Control and Verification.
Found. Trends Syst. Control., 2014

Bisimilarity enforcing supervisory control for deterministic specifications.
Autom., 2014

Reply to "Comments on 'Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm' [Automatica 43 (2007), 1363-1368]".
Autom., 2014

Stability analysis for wireless networked control system in unslotted IEEE 802.15.4 protocol.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

Decentralized supervisory control of discrete event systems with unknown plants: A learning-based synthesis approach.
Proceedings of the 11th IEEE International Conference on Control & Automation, 2014

Automatic synthesis of cooperative multi-agent systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014

Assume-guarantee cooperative satisfaction of multi-agent systems.
Proceedings of the American Control Conference, 2014

Decentralized hybrid formation control of Unmanned Aerial Vehicles.
Proceedings of the American Control Conference, 2014

2013
Identification of Unknown Parameters for a Class of Two-Level Quantum Systems.
IEEE Trans. Autom. Control., 2013

Graph-theoretic characterisations of structural controllability for multi-agent system with switching topology.
Int. J. Control, 2013

Structural controllability of switched linear systems.
Autom., 2013

Hybrid three-dimensional formation control for unmanned helicopters.
Autom., 2013

Hybrid symbolic control for robot motion planning.
Proceedings of the 10th IEEE International Conference on Control and Automation, 2013

A smooth hybrid symbolic control for the formation of UAVs over a partitioned space.
Proceedings of the American Control Conference, 2013

2012
Leaders in multi-agent controllability under consensus algorithm and tree topology.
Syst. Control. Lett., 2012

Facial expression recognition using radial encoding of local Gabor features and classifier synthesis.
Pattern Recognit., 2012

Geometric Analysis of Reachability and Observability for Impulsive Systems on Complex Field.
J. Appl. Math., 2012

An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications.
Int. J. Control, 2012

Graph-Theoretic Characterizations of Structural Controllability for Multi-Agent System with Switching Topology
CoRR, 2012

Switching control of closed quantum systems via the Lyapunov method.
Autom., 2012

Stability analysis for uncertain linear systems with random parameters.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012

Bisimilarity enforcing supervisory control of nondeterministic discrete event systems.
Proceedings of the American Control Conference, 2012

2011
Development of a Comprehensive Software System for Implementing Cooperative Control of Multiple Unmanned Aerial Vehicles.
Int. J. Robotics Autom., 2011

Null controllability of planar bimodal piecewise linear systems.
Int. J. Control, 2011

Fault-tolerant cooperative tasking for multi-agent systems.
Int. J. Control, 2011

Decentralized Supervisory Control of Discrete Event Systems for Bisimulation Equivalence
CoRR, 2011

Output Feedback Tracking Control for a Class of Uncertain Systems subject to Unmodeled Dynamics and Delay at Input
CoRR, 2011

Hybrid 3-D Formation Control for Unmanned Helicopters
CoRR, 2011

Communicate only when necessary: Cooperative tasking for multi-agent systems
CoRR, 2011

Design and analysis of continuous hybrid differentiator
CoRR, 2011

Design and frequency analysis of continuous finite-time-convergent differentiator
CoRR, 2011

Two-step differentiator for delayed signal
CoRR, 2011

Computation for Supremal Simulation-Based Controllable and Strong Observable Subautomata
CoRR, 2011

Task Decomposability Under Event Failures for Two Cooperative Agents
CoRR, 2011

Necessary and Sufficient Conditions for Task Automaton Decomposition
CoRR, 2011

Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm.
Autom., 2011

Guaranteed global performance through local coordinations.
Autom., 2011

Stability analysis of systems with stochastic parametric uncertainties.
Proceedings of the 9th IEEE International Conference on Control and Automation, 2011

Identification and control of a two-level open quantum system.
Proceedings of the 50th IEEE Conference on Decision and Control and European Control Conference, 2011

2010
Scheduling-and-Control Codesign for a Collection of Networked Control Systems With Uncertain Delays.
IEEE Trans. Control. Syst. Technol., 2010

Controllability of multi-agent systems with time-delay in state and switching topology.
Int. J. Control, 2010

Necessary and sufficient conditions for regional stabilisability of generic switched linear systems with a pair of planar subsystems.
Int. J. Control, 2010

Reliable supervisory control for general architecture of decentralized discrete event systems.
Autom., 2010

Computation for Supremal Simulation-Based Controllable Subautomata.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Optimal task automaton decomposabilization for a class of global specifications.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Implementation of formation flight of multiple unmanned aerial vehicles.
Proceedings of the 8th IEEE International Conference on Control and Automation, 2010

Graphic interpretations of structural controllability for switched linear systems.
Proceedings of the 11th International Conference on Control, 2010

Decomposability of global tasks for multi-agent systems.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010

Necessary and sufficient bit rate conditions to stabilize quantized Markov jump linear systems.
Proceedings of the American Control Conference, 2010

Multi-agent controllability with tree topology.
Proceedings of the American Control Conference, 2010

2009
Stability and Stabilizability of Switched Linear Systems: A Survey of Recent Results.
IEEE Trans. Autom. Control., 2009

Synchronized Task Decomposition for Cooperative Multi-agent Systems
CoRR, 2009

Interconnection topologies for multi-agent coordination under leader-follower framework.
Autom., 2009

A new perspective on criteria and algorithms for reachability of discrete-time switched linear systems.
Autom., 2009

Implicit Lyapunov control of closed quantum systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A graph-theoretic characterization of structural controllability for multi-agent system with switching topology.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A general architecture for reliable decentralized supervisory control of discrete event systems.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Stabilize an n-dimensional quantized nonlinear feedforward system with 1 bit.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

A switched system approach to scheduling of networked control systems with communication constraints.
Proceedings of the 48th IEEE Conference on Decision and Control, 2009

Robust stability of discrete-time switched delay systems and its application to network-based reliable control.
Proceedings of the American Control Conference, 2009

2008
Hybrid state feedback stabilization with <i>l</i><sub>2</sub> performance for discrete-time switched linear systems.
Int. J. Control, 2008

Universal controller for monotone systems inspired from fuzzy logic control.
Proceedings of the IEEE International Conference on Systems, 2008

Controllability of Multi-agent Systems with Switching Topology.
Proceedings of the 2008 IEEE Conference on Robotics, Automation and Mechatronics, 2008

Simultaneous stability of a collection of networked control systems with uncertain delays.
Proceedings of the 10th International Conference on Control, 2008

A graph theory based characterization of controllability for multi-agent systems with fixed topology.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007
Switching Stabilizability for Continuous-Time Uncertain Switched Linear Systems.
IEEE Trans. Autom. Control., 2007

Extended Lie Algebraic Stability Analysis for Switched Systems with Continuous-Time and Discrete-Time Subsystems.
Int. J. Appl. Math. Comput. Sci., 2007

Characterizing uniformly ultimately bounded switching signals for uncertain switched linear systems.
Proceedings of the 46th IEEE Conference on Decision and Control, 2007

Hybrid H<sub>∞</sub> state feedback control for discrete-time switched linear systems.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007

A Necessary and Sufficient Condition for Stability of Arbitrarily Switched Second-Order LTI System: Marginally Stable Case.
Proceedings of the 22nd IEEE International Symposium on Intelligent Control, 2007

2006
Switching Stabilization and l2 Gain Performance Controller Synthesis for Discrete-Time Switched Linear Systems.
Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005
A Converse Lyapunov Theorem for Uncertain Switched Linear Systems.
Proceedings of the 44th IEEE IEEE Conference on Decision and Control and 8th European Control Conference Control, 2005

Analysis of switched normal discrete-time systems.
Proceedings of the American Control Conference, 2005

Asymptotic disturbance attenuation property analysis for discrete-time uncertain switched linear systems.
Proceedings of the American Control Conference, 2005

Stability and Stabilizability of Switched Linear Systems: A Short Survey of Recent Results.
Proceedings of the Intelligent Control, 2005

2004
Stability analysis and design of switched normal systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

A necessary and sufficient condition for robust asymptotic stabilizability of continuous-time uncertain switched linear systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Persistent disturbance attenuation properties for networked control systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Stabilization and performance analysis for a class of switched systems.
Proceedings of the 43rd IEEE Conference on Decision and Control, 2004

Stability analysis for switched systems with continuous-time and discrete-time subsystems.
Proceedings of the 2004 American Control Conference, 2004

Disturbance attenuation in classes of uncertain linear hybrid systems.
Proceedings of the 2004 American Control Conference, 2004

2003
Controller failure time analysis for symmetric H<sub>∞</sub> control systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Robust stability and disturbance attenuation analysis of a class of networked control systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Disturbance attenuation properties for discrete-time uncertain switched linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Synthesis of uniformly ultimate boundedness switching laws for discrete-time uncertain switched linear systems.
Proceedings of the 42nd IEEE Conference on Decision and Control, 2003

Set-valued observer design for a class of uncertain linear systems with persistent disturbance.
Proceedings of the American Control Conference, 2003

Robust invariant control synthesis for discrete-time polytopic uncertain linear hybrid systems.
Proceedings of the American Control Conference, 2003

2002
Controller synthesis for a class of uncertain piecewise linear hybrid dynamical systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

Robust controlled invariant sets for a class of uncertain hybrid systems.
Proceedings of the 41st IEEE Conference on Decision and Control, 2002

HYSTAR: a toolbox for hierarchical control of piecewise linear hybrid dynamical systems.
Proceedings of the American Control Conference, 2002


  Loading...