| Publication | Date of Publication | Type |
|---|
Verification and runtime assurance for dynamical systems with uncertainty
Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
An ILP approach for tactical flight rescheduling during airport access mode disruptions
International Transactions in Operational Research | 2024-01-31 | Paper |
| Algebraic Lyapunov Functions for Homogeneous Dynamic Systems | 2023-03-03 | Paper |
A priority-driven optimal guidance approach to moving target tracking for safe navigation in a narrow space
International Journal of Systems Science. Principles and Applications of Systems and Integration | 2022-02-11 | Paper |
Experiments in verification of linear model predictive control: automatic generation and formal verification of an interior point method algorithm
EPiC Series in Computing | 2019-07-04 | Paper |
| Bounding the State Covariance Matrix for a Randomly Switching Linear System with Noise | 2019-05-21 | Paper |
Optimization of Lyapunov Invariants in Verification of Software Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
On the Dubins Traveling Salesman Problem
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
Scheduling Continuous-Time Kalman Filters
IEEE Transactions on Automatic Control | 2017-08-25 | Paper |
Credible autocoding of convex optimization algorithms
Optimization and Engineering | 2017-06-21 | Paper |
Formal Analysis of Robustness at Model and Code Level
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
A generic ellipsoid abstract domain for linear time invariant systems
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control | 2017-05-16 | Paper |
Resource constrained LQR control under fast sampling
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
| Gain Scheduling Control of Gas Turbine Engines: Absolute Stability by Finding a Common Lyapunov Matrix | 2012-06-22 | Paper |
| Stability of Spatially Distributed, Intersecting Aircraft Flows Under Sequential Conflict Resolution Schemes | 2010-10-03 | Paper |
Distributed Lyapunov Functions in Analysis of Graph Models of Software
Hybrid Systems: Computation and Control | 2008-09-02 | Paper |
| A Linear Programming Relaxation and a Heuristic for the Restless Bandit Problem with General Switching Costs | 2008-05-11 | Paper |
| Performance Evaluation of a Multi-Agent Risk-Sensitive Tracking System | 2007-07-25 | Paper |
NATURAL LANGUAGE PROCESSING IN CONTROL OF UNMANNED AERIAL VEHICLES
Theory and Algorithms for Cooperative Systems | 2007-01-19 | Paper |
Hybrid Systems: Computation and Control
Lecture Notes in Computer Science | 2005-11-11 | Paper |
| scientific article; zbMATH DE number 1956640 (Why is no real title available?) | 2003-07-30 | Paper |
| Nonconvex quadratic programming, semidefinite relaxations and randomization algorithms in information and decision systems | 2002-06-05 | Paper |
| A hybrid control architecture for aggressive maneuvering of autonomous aerial vehicles | 2001-10-07 | Paper |
| scientific article; zbMATH DE number 1424229 (Why is no real title available?) | 2001-01-21 | Paper |
A computationally efficient Lyapunov-based scheduling procedure for control of nonlinear systems with stability guarantees
IEEE Transactions on Automatic Control | 2000-10-17 | Paper |
| scientific article; zbMATH DE number 1424230 (Why is no real title available?) | 2000-07-11 | Paper |
| scientific article; zbMATH DE number 1359840 (Why is no real title available?) | 1999-01-01 | Paper |
Computational Complexity of Lyapunov Stability Analysis Problems for a Class of Nonlinear Systems
SIAM Journal on Control and Optimization | 1998-09-21 | Paper |
Polytopic control Lyapunov functions for robust stabilization of a class of nonlinear systems
Systems & Control Letters | 1998-08-13 | Paper |
Estimating the conservatism of Popov's criterion for real parametric uncertainties
Systems & Control Letters | 1998-07-22 | Paper |
A more reliable robust stability indicator for linear systems subject to parametric uncertainties
IEEE Transactions on Automatic Control | 1998-04-06 | Paper |
Analysis of Robust H2 Performance Using Multiplier Theory
SIAM Journal on Control and Optimization | 1997-09-29 | Paper |
Analysis and synthesis of robust control systems via parameter-dependent Lyapunov functions
IEEE Transactions on Automatic Control | 1997-03-12 | Paper |
| Linear Matrix Inequalities in System and Control Theory | 1995-03-21 | Paper |
