| Publication | Date of Publication | Type |
|---|
Data-driven control of unknown switched linear systems using scenario optimization
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Zonotope-based symbolic controller synthesis for linear temporal logic specifications
IEEE Transactions on Automatic Control | 2025-01-21 | Paper |
Multiple Lyapunov functions and memory: a symbolic dynamics approach to systems and control
SIAM Journal on Control and Optimization | 2024-10-22 | Paper |
Optimal intermittent particle filter
IEEE Transactions on Signal Processing | 2024-09-12 | Paper |
On objective function value performance of the scenario approach under regularity conditions
IEEE Transactions on Automatic Control | 2024-08-19 | Paper |
Learning stability of partially observed switched linear systems
Automatica | 2024-06-05 | Paper |
Learning stability guarantees for constrained switching linear systems from noisy observations
Nonlinear Analysis. Hybrid Systems | 2024-03-01 | Paper |
Poster Abstract: Towards Seamless Reactivity of Hybrid Control
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods
25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Characterization of the ordering of path-complete stability certificates with addition-closed templates
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
Graph-based conditions for feedback stabilization of switched and LPV systems
Automatica | 2024-02-13 | Paper |
| Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions | 2023-12-13 | Paper |
| Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control | 2023-07-25 | Paper |
| A categorical view on the converse Lyapunov theorem | 2023-06-01 | Paper |
PAC-learning gains of Turing machines over circuits and neural networks
Physica D | 2023-01-17 | Paper |
Geometric control of hybrid systems
Nonlinear Analysis. Hybrid Systems | 2023-01-13 | Paper |
Comparison of path-complete Lyapunov functions via template-dependent lifts
Nonlinear Analysis. Hybrid Systems | 2022-10-14 | Paper |
| Interpretability of Path-Complete Techniques and Memory-based Lyapunov functions | 2022-09-18 | Paper |
| Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach | 2022-08-25 | Paper |
An improved finiteness test and a systematic procedure to compute the strong \(\mathscr{H}_2\) norm of differential algebraic systems with multiple delays
Automatica | 2022-08-23 | Paper |
Stabilization of rank-deficient continuous-time switched affine systems
Automatica | 2022-07-26 | Paper |
| Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis | 2022-04-19 | Paper |
On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation
IEEE Transactions on Automatic Control | 2022-02-24 | Paper |
Equivalent polyadic decompositions of matrix multiplication tensors
Journal of Computational and Applied Mathematics | 2022-02-11 | Paper |
Equivalent polyadic decompositions of matrix multiplication tensors
Journal of Computational and Applied Mathematics | 2022-02-11 | Paper |
\(p\)-dominant switched linear systems
Automatica | 2021-11-19 | Paper |
Characterization of flat outputs of switched linear discrete-time systems: algebraic condition and algorithm
Systems & Control Letters | 2021-11-10 | Paper |
A linear bound on the \(k\)-rendezvous time for primitive sets of NZ matrices
Fundamenta Informaticae | 2021-10-25 | Paper |
On randomized generation of slowly synchronizing automata
(available as arXiv preprint) | 2021-08-04 | Paper |
| Data-driven stability analysis of switched linear systems with Sum of Squares guarantees | 2021-04-30 | Paper |
The Synchronizing Probability Function for Primitive Sets of Matrices
International Journal of Foundations of Computer Science | 2021-04-19 | Paper |
A scalable engineering combination therapies for evolutionary dynamic of macrophages
Trends in Mathematics | 2021-03-22 | Paper |
| Data-driven control of switched linear systems with probabilistic stability guarantees | 2021-03-19 | Paper |
Worst-case topological entropy and minimal data rate for state observation of switched linear systems
Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Geometric control of algebraic systems | 2021-01-18 | Paper |
| Abstraction-based branch and bound approach to Q-learning for hybrid optimal control | 2020-11-22 | Paper |
Certifying unstability of switched systems using sum of squares programming
SIAM Journal on Control and Optimization | 2020-10-30 | Paper |
Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems
Systems & Control Letters | 2020-10-07 | Paper |
| Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal | 2020-09-10 | Paper |
| Stability of Planar Switched Systems under Delayed Event Detection | 2020-09-09 | Paper |
| Piecewise semi-ellipsoidal control invariant sets | 2020-07-06 | Paper |
Sum-of-squares methods for controlled invariant sets with applications to model-predictive control
Nonlinear Analysis. Hybrid Systems | 2020-05-07 | Paper |
On the \(m\)-dimensional Cayley-Hamilton theorem and its application to an algebraic decision problem inferred from the \(\mathcal{H}_2\) norm analysis of delay systems
Automatica | 2020-04-17 | Paper |
On the quality of first-order approximation of functions with Hölder continuous gradient
Journal of Optimization Theory and Applications | 2020-04-07 | Paper |
An Entropy-Based Bound for the Computational Complexity of a Switched System
IEEE Transactions on Automatic Control | 2020-01-28 | Paper |
On random primitive sets, directable NFAs and the generation of slowly synchronizing DFAs
(available as arXiv preprint) | 2020-01-15 | Paper |
| Hardly reachable subsets and completely reachable automata with 1-deficient words | 2020-01-15 | Paper |
Data driven stability analysis of black-box switched linear systems
Automatica | 2019-12-19 | Paper |
A complete characterization of the ordering of path-complete methods
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
Formal methods for computing hyperbolic invariant sets for nonlinear systems
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control | 2019-10-22 | Paper |
A Linear Bound on the k-rendezvous time for primitive sets of NZ matrices
(available as arXiv preprint) | 2019-10-15 | Paper |
On Path-Complete Lyapunov Functions: Geometry and Comparison
IEEE Transactions on Automatic Control | 2019-07-18 | Paper |
On the interplay between Černý and Babai's conjectures
International Journal of Foundations of Computer Science | 2019-06-24 | Paper |
| Non-local Linearization of Nonlinear Differential Equations via Polyflows | 2019-02-12 | Paper |
Combinatorial methods for invariance and safety of hybrid systems
Automatica | 2019-02-05 | Paper |
Observability and Controllability Analysis of Linear Systems Subject to Data Losses
IEEE Transactions on Automatic Control | 2018-12-04 | Paper |
The synchronizing probability function for primitive sets of matrices
(available as arXiv preprint) | 2018-11-22 | Paper |
On completely reachable automata and subset reachability
(available as arXiv preprint) | 2018-11-22 | Paper |
| Dynamics of the independence number and automata synchronization | 2018-11-22 | Paper |
Improved bound on the worst case complexity of policy iteration
Operations Research Letters | 2018-10-01 | Paper |
Improved bound on the worst case complexity of policy iteration
Operations Research Letters | 2018-10-01 | Paper |
| Path-complete $p$-dominant switching linear systems | 2018-08-29 | Paper |
| Computing controlled invariant sets for hybrid systems with applications to model-predictive control | 2018-02-13 | Paper |
Primitive sets of nonnegative matrices and synchronizing automata
SIAM Journal on Matrix Analysis and Applications | 2018-01-22 | Paper |
| Generalized primitivity of labeled digraphs | 2018-01-18 | Paper |
| Sets of Stochastic Matrices with Converging Products: Bounds and Complexity | 2017-12-07 | Paper |
Tight bound for deciding convergence of consensus systems
Systems & Control Letters | 2017-10-18 | Paper |
| On the interplay between Babai and Černý's conjectures | 2017-10-13 | Paper |
A Characterization of Lyapunov Inequalities for Stability of Switched Systems
IEEE Transactions on Automatic Control | 2017-09-08 | Paper |
A complexity analysis of policy iteration through combinatorial matrices arising from unique sink orientations
Journal of Discrete Algorithms | 2017-07-13 | Paper |
A complexity analysis of policy iteration through combinatorial matrices arising from unique sink orientations
Journal of Discrete Algorithms | 2017-07-13 | Paper |
Path-complete graphs and common Lyapunov functions
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
Path-complete graphs and common Lyapunov functions
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control | 2017-07-11 | Paper |
On discrete algebraic Riccati equations: a rank characterization of solutions
Linear Algebra and its Applications | 2017-06-22 | Paper |
Graph diameter, eigenvalues, and minimum-time consensus
Automatica | 2017-06-02 | Paper |
On feedback stabilization of linear switched systems via switching signal control
SIAM Journal on Control and Optimization | 2017-05-24 | Paper |
A sufficient condition for the boundedness of matrix products accepted by an automaton
Proceedings of the 18th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Computing the domain of attraction of switching systems subject to non-convex constraints
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Computing the domain of attraction of switching systems subject to non-convex constraints
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control | 2017-05-19 | Paper |
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs
Proceedings of the 14th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
JSR: a toolbox to compute the joint spectral radius
Proceedings of the 17th international conference on Hybrid systems: computation and control | 2017-05-16 | Paper |
Efficient Computations of a Security Index for False Data Attacks in Power Networks
IEEE Transactions on Automatic Control | 2017-05-16 | Paper |
Controllability of Linear Systems With Switching Delays
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Analysing the Stability of Linear Systems via Exponential Chebyshev Polynomials
IEEE Transactions on Automatic Control | 2017-05-03 | Paper |
Deciding the boundedness and dead-beat stability of constrained switching systems
Nonlinear Analysis. Hybrid Systems | 2016-12-15 | Paper |
The four bars problem
Nonlinearity | 2016-09-26 | Paper |
| Extremal storage functions and minimal realizations of discrete-time linear switching systems | 2016-09-19 | Paper |
Stability of discrete-time switching systems with constrained switching sequences
Automatica | 2016-09-13 | Paper |
Efficient method for computing lower bounds on the \(p\)-radius of switched linear systems
Systems & Control Letters | 2016-09-09 | Paper |
On the synchronizing probability function and the triple rendezvous time for synchronizing automata
SIAM Journal on Discrete Mathematics | 2016-05-26 | Paper |
Lower bounds on complexity of Lyapunov functions for switched linear systems
Nonlinear Analysis. Hybrid Systems | 2016-05-19 | Paper |
On the synchronizing probability function and the triple rendezvous time. New approaches to Černý's conjecture
Language and Automata Theory and Applications | 2016-04-08 | Paper |
| Tight Bounds for Consensus Systems Convergence | 2016-01-19 | Paper |
On primitivity of sets of matrices
Automatica | 2015-12-22 | Paper |
Resonance and marginal instability of switching systems
Nonlinear Analysis. Hybrid Systems | 2015-11-30 | Paper |
Efficient algorithms for the consensus decision problem
SIAM Journal on Control and Optimization | 2015-10-05 | Paper |
A note on a recent attempt to improve the Pin-Frankl bound
(available as arXiv preprint) | 2015-04-30 | Paper |
| A note on a recent attempt to improve the Pin-Frankl bound | 2015-04-30 | Paper |
An efficient algorithm for partial order production
Proceedings of the forty-first annual ACM symposium on Theory of computing | 2015-02-04 | Paper |
| Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences | 2014-10-27 | Paper |
Lifted polytope methods for computing the joint spectral radius
SIAM Journal on Matrix Analysis and Applications | 2014-10-15 | Paper |
Sorting under partial information (without the ellipsoid algorithm)
Proceedings of the forty-second ACM symposium on Theory of computing | 2014-08-13 | Paper |
Joint spectral radius and path-complete graph Lyapunov functions
SIAM Journal on Control and Optimization | 2014-07-30 | Paper |
Joint spectral radius and path-complete graph Lyapunov functions
SIAM Journal on Control and Optimization | 2014-07-30 | Paper |
| Stability of linear switching systems and Markov-Bernstein inequalities for exponents | 2014-07-15 | Paper |
Polytopic uncertainty for linear systems: new and old complexity results
Systems & Control Letters | 2014-06-13 | Paper |
PageRank optimization by edge selection
Discrete Applied Mathematics | 2014-05-06 | Paper |
Sorting under partial information (without the ellipsoid algorithm).
Combinatorica | 2014-03-17 | Paper |
Lower and upper bounds for the largest Lyapunov exponent of matrices
Linear Algebra and its Applications | 2014-01-21 | Paper |
| Modeling, analysis and design of linear systems with switching delays | 2014-01-08 | Paper |
The synchronizing probability function of an automaton
SIAM Journal on Discrete Mathematics | 2012-08-22 | Paper |
On asymptotic properties of matrix semigroups with an invariant cone
Linear Algebra and its Applications | 2012-08-03 | Paper |
Fast computation of minimal elementary decompositions of metabolic flux vectors
Automatica | 2012-03-05 | Paper |
Fast methods for computing the \(p\)-radius of matrices
SIAM Journal on Scientific Computing | 2011-12-07 | Paper |
Observable graphs
Discrete Applied Mathematics | 2011-06-28 | Paper |
Extremal matrix products and the finiteness property
Combinatorics, Automata and Number Theory | 2011-04-18 | Paper |
An efficient algorithm for partial order production
SIAM Journal on Computing | 2011-04-04 | Paper |
Joint spectral characteristics of matrices: a conic programming approach
SIAM Journal on Matrix Analysis and Applications | 2010-11-04 | Paper |
The continuous Skolem-Pisot problem
Theoretical Computer Science | 2010-10-11 | Paper |
PageRank optimization in polynomial time by stochastic shortest path reformulation
Lecture Notes in Computer Science | 2010-10-01 | Paper |
Counterexamples to the Complex Polytope Extremality Conjecture
SIAM Journal on Matrix Analysis and Applications | 2010-05-25 | Paper |
Overlap-free words and spectra of matrices
Theoretical Computer Science | 2009-09-10 | Paper |
On the number of \(\alpha \)-power-free binary words for \(2<\alpha \leq 7/3\)
Theoretical Computer Science | 2009-08-07 | Paper |
| Solitaire clobber as an optimization problem on words | 2009-05-26 | Paper |
| Solitaire clobber as an optimization problem on words | 2009-05-26 | Paper |
Testing avoidability on sets of partial words is hard
Theoretical Computer Science | 2009-03-17 | Paper |
On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns
IEEE Transactions on Information Theory | 2008-12-21 | Paper |
| The Continuous Skolem-Pisot Problem: On the Complexity of Reachability for Linear Ordinary Differential Equations | 2008-09-12 | Paper |
Efficient algorithms for deciding the type of growth of products of integer matrices
Linear Algebra and its Applications | 2008-04-28 | Paper |
On the finiteness property for rational matrices
Linear Algebra and its Applications | 2008-04-28 | Paper |
Computing the Growth of the Number of Overlap-Free Words with Spectra of Matrices
Lecture Notes in Computer Science | 2008-04-15 | Paper |
Smart abstraction based on iterative cover and non-uniform cells
(available as arXiv preprint) | N/A | Paper |
Memoryless concretization relation
(available as arXiv preprint) | N/A | Paper |
