2024
Data-Driven Control of Unknown Switched Linear Systems Using Scenario Optimization.
IEEE Trans. Autom. Control., November, 2024
Zonotope-Based Symbolic Controller Synthesis for Linear Temporal Logic Specifications.
IEEE Trans. Autom. Control., November, 2024
On Objective Function Value Performance of the Scenario Approach Under Regularity Conditions.
IEEE Trans. Autom. Control., July, 2024
AIMD-Inspired Switching Control of Computing Networks.
IEEE Trans. Control. Netw. Syst., June, 2024
Graph-based conditions for feedback stabilization of switched and LPV systems.
Autom., February, 2024
Multiple Lyapunov Functions and Memory: A Symbolic Dynamics Approach to Systems and Control.
SIAM J. Control. Optim., 2024
Smart Abstraction Based on Iterative Cover and Non-Uniform Cells.
IEEE Control. Syst. Lett., 2024
Classification of simulation relations for symbolic control.
CoRR, 2024
A Cantor-Kantorovich Metric Between Markov Decision Processes with Application to Transfer Learning.
CoRR, 2024
Data-driven memory-dependent abstractions of dynamical systems via a Cantor-Kantorovich metric.
CoRR, 2024
Dionysos.jl: a Modular Platform for Smart Symbolic Control.
CoRR, 2024
Learning stability of partially observed switched linear systems.
Autom., 2024
Memoryless concretization relation.
Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024
Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions.
Proceedings of the Thirty-Eighth AAAI Conference on Artificial Intelligence, 2024
2023
Stability of Switched Affine Systems: Arbitrary and Dwell-Time Switching.
SIAM J. Control. Optim., August, 2023
Interpretability of Path-Complete Techniques and Memory-Based Lyapunov Functions.
IEEE Control. Syst. Lett., 2023
Efficiency Separation between RL Methods: Model-Free, Model-Based and Goal-Conditioned.
CoRR, 2023
Context-triggered Abstraction-based Control Design.
CoRR, 2023
Data-driven abstractions via adaptive refinements and a Kantorovich metric [extended version].
CoRR, 2023
Learning stability guarantees for constrained switching linear systems from noisy observations.
CoRR, 2023
Computation of invariant sets via immersion for discrete-time nonlinear systems.
Autom., 2023
Data-driven memory-dependent abstractions of dynamical systems.
Proceedings of the Learning for Dynamics and Control Conference, 2023
Poster Abstract: Towards Seamless Reactivity of Hybrid Control.
Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control, 2023
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, 2023
A model-based approach to meta-Reinforcement Learning: Transformers and tree search.
Proceedings of the 31st European Symposium on Artificial Neural Networks, 2023
Data-Driven Reachability Analysis of Lipschitz Nonlinear Systems via Support Vector Data Description.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Data-driven Abstractions via Adaptive Refinements and a Kantorovich Metric.
Proceedings of the 62nd IEEE Conference on Decision and Control, 2023
Data-driven heuristic symbolic models and application to limit-cycle detection.
Proceedings of the American Control Conference, 2023
2022
Optimal Intermittent Particle Filter.
IEEE Trans. Signal Process., 2022
On the Strong $\mathcal {H}_2$ Norm of Differential Algebraic Systems With Multiple Delays: Finiteness Criteria, Regularization, and Computation.
IEEE Trans. Autom. Control., 2022
Equivalent polyadic decompositions of matrix multiplication tensors.
J. Comput. Appl. Math., 2022
An Efficient Method to Verify the Inclusion of Ellipsoids.
CoRR, 2022
Learning stability guarantees for data-driven constrained switching linear systems.
CoRR, 2022
Optimal Resource Scheduling and Allocation under Allowable Over-Scheduling.
CoRR, 2022
Worst-case topological entropy and minimal data rate for state estimation of switched linear systems.
Commun. ACM, 2022
Razumikhin and Krasovskii approaches for safe stabilization.
Autom., 2022
An improved finiteness test and a systematic procedure to compute the strong ℋ2 norm of differential algebraic systems with multiple delays.
Autom., 2022
Stabilization of rank-deficient continuous-time switched affine systems.
Autom., 2022
Memory-Based Lyapunov Functions and Path-complete Framework: Equivalence and Properties.
Proceedings of the 10th International Conference on Systems and Control, 2022
Necessary and Sufficient Conditions for Template-Dependent Ordering of Path-Complete Lyapunov Methods.
Proceedings of the HSCC '22: 25th ACM International Conference on Hybrid Systems: Computation and Control, Milan, Italy, May 4, 2022
Probabilistic guarantees on the objective value for the scenario approach via sensitivity analysis.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Almost sure Stability of Stochastic Switched Systems: Graph lifts-based Approach.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Systems with both constant and time-varying delays: a switched systems approach and application to observer-controller co-design.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
State-feedback Abstractions for Optimal Control of Piecewise-affine Systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Data-driven invariant subspace identification for black-box switched linear systems.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Black-box stability analysis of hybrid systems with sample-based multiple Lyapunov functions.
Proceedings of the 61st IEEE Conference on Decision and Control, 2022
Optimal Resource Scheduling and Allocation in Distributed Computing Systems.
Proceedings of the American Control Conference, 2022
Reachability-based Control Synthesis under Signal Temporal Logic Specifications.
Proceedings of the American Control Conference, 2022
Optimal Abstraction-based Control with Local Affine Controllers.
Proceedings of the American Control Conference, 2022
2021
Characterization of flat outputs of switched linear discrete-time systems: Algebraic condition and algorithm.
Syst. Control. Lett., 2021
A Linear Bound on the k-rendezvous Time for Primitive Sets of NZ Matrices.
Fundam. Informaticae, 2021
Optimal measurement budget allocation for Kalman prediction over a finite time horizon by genetic algorithms.
EURASIP J. Adv. Signal Process., 2021
A Data-Driven Method for Computing Polyhedral Invariant Sets of Black-Box Switched Linear Systems.
IEEE Control. Syst. Lett., 2021
Scenario-Based Set Invariance Verification for Black-Box Nonlinear Systems.
IEEE Control. Syst. Lett., 2021
Piecewise Semi-Ellipsoidal Control Invariant Sets.
IEEE Control. Syst. Lett., 2021
Quantized Stabilization of Continuous-Time Switched Linear Systems.
IEEE Control. Syst. Lett., 2021
PAC-learning gains of Turing machines over circuits and neural networks.
CoRR, 2021
Computation of the maximal invariant set of discrete-time linear systems subject to a class of non-convex constraints.
Autom., 2021
p-dominant switched linear systems.
Autom., 2021
Abstraction-based branch and bound approach to Q-learning for hybrid optimal control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Chance-constrained quasi-convex optimization with application to data-driven switched systems control.
Proceedings of the 3rd Annual Conference on Learning for Dynamics and Control, 2021
Immersion-based model predictive control of constrained nonlinear systems: Polyflow approximation.
Proceedings of the 2021 European Control Conference, 2021
Event-Triggered Tracking Control of Networked and Quantized Control Systems.
Proceedings of the 2021 European Control Conference, 2021
Data-driven feedback stabilization of switched linear systems with probabilistic stability guarantees.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Data-driven stability analysis of switched affine systems.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Zonotope-based Controller Synthesis for LTL Specifications.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Alternating Simulation on Hierarchical Abstractions.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Complexity of the LTI system trajectory boundedness problem.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Optimal Control for Linear Networked Control Systems with Information Transmission Constraints.
Proceedings of the 2021 60th IEEE Conference on Decision and Control (CDC), 2021
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Geometric control of algebraic systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems.
Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021
2020
Certifying Unstability of Switched Systems Using Sum of Squares Programming.
SIAM J. Control. Optim., 2020
Edge Computing Resource Allocation for Dynamic Networks: The DRUID-NET Vision and Perspective.
Sensors, 2020
Lower bounds and dense discontinuity phenomena for the stabilizability radius of linear switched systems.
Syst. Control. Lett., 2020
On the Quality of First-Order Approximation of Functions with Hölder Continuous Gradient.
J. Optim. Theory Appl., 2020
The Synchronizing Probability Function for Primitive Sets of Matrices.
Int. J. Found. Comput. Sci., 2020
Formal Methods for Computing Hyperbolic Invariant Sets for Nonlinear Systems.
IEEE Control. Syst. Lett., 2020
On the m-dimensional Cayley-Hamilton theorem and its application to an algebraic decision problem inferred from the H2 norm analysis of delay systems.
Autom., 2020
Optimal Measurement Budget Allocation For Particle Filtering.
Proceedings of the IEEE International Conference on Image Processing, 2020
Worst-case topological entropy and minimal data rate for state observation of switched linear systems.
Proceedings of the HSCC '20: 23rd ACM International Conference on Hybrid Systems: Computation and Control, 2020
Control in the IoT: How to deal with various heterogeneous non-idealities?
Proceedings of the 18th European Control Conference, 2020
Stability of Planar Switched Systems under Delayed Event Detection.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
Finite Data-Rate Feedback Stabilization of Continuous-Time Switched Linear Systems with Unknown Switching Signal.
Proceedings of the 59th IEEE Conference on Decision and Control, 2020
2019
On Path-Complete Lyapunov Functions: Geometry and Comparison.
IEEE Trans. Autom. Control., 2019
An Entropy-Based Bound for the Computational Complexity of a Switched System.
IEEE Trans. Autom. Control., 2019
Hardly Reachable Subsets and Completely Reachable Automata with 1-Deficient Words.
J. Autom. Lang. Comb., 2019
On Random Primitive Sets, Directable NFAs and the Generation of Slowly Synchronizing DFAs.
J. Autom. Lang. Comb., 2019
On the Interplay Between Černý and Babai's Conjectures.
Int. J. Found. Comput. Sci., 2019
Computation of the maximal invariant set of discrete-time systems subject to quasi-smooth non-convex constraints.
CoRR, 2019
Data-driven computation of invariant sets of discrete time-invariant black-box systems.
CoRR, 2019
Data driven stability analysis of black-box switched linear systems.
Autom., 2019
Optimal intermittent measurements for tumor tracking in x-ray guided radiotherapy.
Proceedings of the Medical Imaging 2019: Image-Guided Procedures, 2019
A complete characterization of the ordering of path-complete methods.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract.
Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019
Computation of the maximal invariant set of linear systems with quasi-smooth nonlinear constraints.
Proceedings of the 17th European Control Conference, 2019
Finite-horizon covariance control of state-affine nonlinear systems with application to proton beamline calibration.
Proceedings of the 17th European Control Conference, 2019
A Converse Lyapunov Theorem for p-dominant Switched Linear Systems.
Proceedings of the 17th European Control Conference, 2019
Polyhedral Path-Complete Lyapunov Functions.
Proceedings of the 58th IEEE Conference on Decision and Control, 2019
Non-local Linearization of Nonlinear Differential Equations via Polyflows.
Proceedings of the 2019 American Control Conference, 2019
2018
Observability and Controllability Analysis of Linear Systems Subject to Data Losses.
IEEE Trans. Autom. Control., 2018
Primitive Sets of Nonnegative Matrices and Synchronizing Automata.
SIAM J. Matrix Anal. Appl., 2018
On random primitive sets, directable NDFAs and the generation of slowly synchronizing DFAs.
CoRR, 2018
SOS-Convex Lyapunov Functions and Stability of Difference Inclusions.
CoRR, 2018
Combinatorial methods for invariance and safety of hybrid systems.
Autom., 2018
On Randomized Generation of Slowly Synchronizing Automata.
Proceedings of the 43rd International Symposium on Mathematical Foundations of Computer Science, 2018
The impact of packet dropouts on the reachability energy.
Proceedings of the 9th ACM/IEEE International Conference on Cyber-Physical Systems, 2018
Dynamics of the Independence Number and Automata Synchronization.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
On Completely Reachable Automata and Subset Reachability.
Proceedings of the Developments in Language Theory - 22nd International Conference, 2018
Observability of Discrete-Time Linear Systems with Communication Protocols and Dropouts.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Minimally, Constrained Stable Switched Systems and Application to Co-Simulation.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Path-Complete p-Dominant Switching Linear Systems.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Deciding Stability of a Switched System Without Identifying It.
Proceedings of the 57th IEEE Conference on Decision and Control, 2018
Computing controlled invariant sets for hybrid systems with applications to model-predictive control.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
On invariance and reachability on semialgebraic sets for linear dynamics.
Proceedings of the 6th IFAC Conference on Analysis and Design of Hybrid Systems, 2018
2017
A Characterization of Lyapunov Inequalities for Stability of Switched Systems.
IEEE Trans. Autom. Control., 2017
On Feedback Stabilization of Linear Switched Systems via Switching Signal Control.
SIAM J. Control. Optim., 2017
Tight bound for deciding convergence of consensus systems.
Syst. Control. Lett., 2017
A complexity analysis of Policy Iteration through combinatorial matrices arising from Unique Sink Orientations.
J. Discrete Algorithms, 2017
Generalized primitivity of labeled digraphs.
Electron. Notes Discret. Math., 2017
Invariant Sets Analysis for Constrained Switching Systems.
IEEE Control. Syst. Lett., 2017
Sets of Stochastic Matrices with Converging Products: Bounds and Complexity.
CoRR, 2017
Invariance in Constrained Switching.
CoRR, 2017
Path-Complete Graphs and Common Lyapunov Functions.
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017
On the Interplay Between Babai and Černý's Conjectures.
Proceedings of the Developments in Language Theory - 21st International Conference, 2017
A linear program to compare path-complete Lyapunov functions.
Proceedings of the 56th IEEE Annual Conference on Decision and Control, 2017
2016
Analysing the Stability of Linear Systems via Exponential Chebyshev Polynomials.
IEEE Trans. Autom. Control., 2016
Controllability of Linear Systems With Switching Delays.
IEEE Trans. Autom. Control., 2016
On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronizing Automata.
SIAM J. Discret. Math., 2016
Efficient method for computing lower bounds on the p-radius of switched linear systems.
Syst. Control. Lett., 2016
Improved bound on the worst case complexity of Policy Iteration.
Oper. Res. Lett., 2016
Path-complete positivity of switching systems.
CoRR, 2016
Tight Bounds for Consensus Systems Convergence.
CoRR, 2016
Stability of discrete-time switching systems with constrained switching sequences.
Autom., 2016
Generating Unstable Trajectories for Switched Systems via Dual Sum-Of-Squares Techniques.
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016
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, 2016
Extremal storage functions and minimal realizations of discrete-time linear switching systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
Safety and invariance for constrained switching systems.
Proceedings of the 55th IEEE Conference on Decision and Control, 2016
2015
Efficient Algorithms for the Consensus Decision Problem.
SIAM J. Control. Optim., 2015
A Note on a Recent Attempt to Improve the Pin-Frankl Bound.
Discret. Math. Theor. Comput. Sci., 2015
Deciding the boundedness and dead-beat stability of constrained switching systems.
CoRR, 2015
Lower Bounds on Complexity of Lyapunov Functions for Switched Linear Systems.
CoRR, 2015
On primitivity of sets of matrices.
Autom., 2015
On the Synchronizing Probability Function and the Triple Rendezvous Time - New Approaches to Černý's Conjecture.
Proceedings of the Language and Automata Theory and Applications, 2015
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, 2015
Converse Lyapunov theorems for discrete-time linear switching systems with regular switching sequences.
Proceedings of the 14th European Control Conference, 2015
The minimum achievable stability radius of switched linear systems with feedback.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
Reachability of consensus and synchronizing automata.
Proceedings of the 54th IEEE Conference on Decision and Control, 2015
On observability in networked control systems with packet losses.
Proceedings of the 53rd Annual Allerton Conference on Communication, 2015
Controllability of linear systems subject to packet losses.
Proceedings of the 5th IFAC Conference on Analysis and Design of Hybrid Systems, 2015
2014
Efficient Computations of a Security Index for False Data Attacks in Power Networks.
IEEE Trans. Autom. Control., 2014
Lifted Polytope Methods for Computing the Joint Spectral Radius.
SIAM J. Matrix Anal. Appl., 2014
Joint Spectral Radius and Path-Complete Graph Lyapunov Functions.
SIAM J. Control. Optim., 2014
Polytopic uncertainty for linear systems: New and old complexity results.
Syst. Control. Lett., 2014
Data-driven traffic and diffusion modeling in peer-to-peer networks: A real case study.
Netw. Sci., 2014
Special issue in the honor of the 14th "Journées Montoises d'Informatique Théorique" - Foreword.
RAIRO Theor. Informatics Appl., 2014
The Software-Defined Network Revolution.
ERCIM News, 2014
PageRank optimization by edge selection.
Discret. Appl. Math., 2014
An improved lower bound for Order-Regular matrices.
CoRR, 2014
On the Synchronizing Probability Function and the Triple Rendezvous Time for Synchronzing Automata.
CoRR, 2014
Graph diameter, eigenvalues, and minimum-time consensus.
Autom., 2014
JSR: a toolbox to compute the joint spectral radius.
Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014
Efficiently computable lower bounds for the p-radius of switching linear systems.
Proceedings of the 53rd IEEE Conference on Decision and Control, 2014
An efficient technique for solving the scheduling of appliances in smart-homes.
Proceedings of the American Control Conference, 2014
2013
Sorting under partial information (without the ellipsoid algorithm).
Comb., 2013
Convex optimization methods for computing the Lyapunov exponent of matrices.
Proceedings of the 12th European Control Conference, 2013
Joint Spectral Characteristics: A Tale of Three Disciplines.
Proceedings of the Developments in Language Theory - 17th International Conference, 2013
Is switching systems stability harder for continuous time systems?
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
Switched stability of nonlinear systems via SOS-convex Lyapunov functions and semidefinite programming.
Proceedings of the 52nd IEEE Conference on Decision and Control, 2013
2012
The Synchronizing Probability Function of an Automaton.
SIAM J. Discret. Math., 2012
Diameter, Optimal Consensus, and Graph Eigenvalues
CoRR, 2012
Lifted polytope methods for stability analysis of switching systems
CoRR, 2012
An Exact Solution to the Power Networks Security Index Problem and its Generalized Min Cut Formulation
CoRR, 2012
When Is a Set of LMIs a Sufficient Condition for Stability?
Proceedings of the 7th IFAC Symposium on Robust Control Design, 2012
Feedback stabilization of dynamical systems with switched delays.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
The complexity of Policy Iteration is exponential for discounted Markov Decision Processes.
Proceedings of the 51th IEEE Conference on Decision and Control, 2012
2011
Fast Methods for Computing the p-Radius of Matrices.
SIAM J. Sci. Comput., 2011
Discret. Appl. Math., 2011
Policy Iteration is well suited to optimize PageRank
CoRR, 2011
Fast computation of minimal elementary decompositions of metabolic flux vectors.
Autom., 2011
Analysis of the joint spectral radius via Lyapunov functions on path-complete graphs.
Proceedings of the 14th ACM International Conference on Hybrid Systems: Computation and Control, 2011
2010
The continuous Skolem-Pisot problem.
Theor. Comput. Sci., 2010
Joint Spectral Characteristics of Matrices: A Conic Programming Approach.
SIAM J. Matrix Anal. Appl., 2010
An Efficient Algorithm for Partial Order Production.
SIAM J. Comput., 2010
Weak stability of switching dynamical systems and fast computation of the p-radius of matrices.
Proceedings of the 49th IEEE Conference on Decision and Control, 2010
PageRank Optimization in Polynomial Time by Stochastic Shortest Path Reformulation.
Proceedings of the Algorithmic Learning Theory, 21st International Conference, 2010
2009
Overlap-free words and spectra of matrices.
Theor. Comput. Sci., 2009
On the number of alpha-power-free binary words for 2alpha<=7/3.
Theor. Comput. Sci., 2009
Testing avoidability on sets of partial words is hard.
Theor. Comput. Sci., 2009
Counterexamples to the Complex Polytope Extremality Conjecture.
SIAM J. Matrix Anal. Appl., 2009
2008
Computing the Growth of the Number of Overlap-Free Words with Spectra of Matrices.
Proceedings of the LATIN 2008: Theoretical Informatics, 2008
2007
Linear time algorithms for Clobber
CoRR, 2007
2006
On the Complexity of Computing the Capacity of Codes That Avoid Forbidden Difference Patterns.
IEEE Trans. Inf. Theory, 2006
Efficient algorithms for deciding the type of growth of products of integer matrices
CoRR, 2006