Softwares
Toolboxes

Dominance.jl: A toolbox for dominance analysis of switched linear systems and nonlinear systems
References:
 GB, Raphaël M. Jungers, \(p\)dominant switched linear systems, Automatica, vol. 132, 109801, 2021.
 GB, Raphaël M. Jungers, Formal methods for computing hyperbolic invariant sets for nonlinear systems, IEEE Control Systems Letters, vol. 4, no. 1, pp. 235240, 2020.
 GB, Raphaël M. Jungers, A converse Lyapunov theorem for \(p\)dominant switched linear systems, Proceedings of 2019 18th IEEE European Control Conference, pp. 12631268, 2019.
 GB, Fulvio Forni, Raphaël M. Jungers, Pathcomplete \(p\)dominant switching linear systems, Proceedings of 2018 57th IEEE Conference on Decision and Control, pp. 6446645, 2018.

SwitchingTimes.jl: A toolbox to compute the switching times of switched linear and affine systems
References:
 GB, Maben Rabi, Bounds on set exit times of affine systems, using Linear Matrix Inequalities, IFACPapersOnLine, vol. 54, no. 5, pp. 283288, 2021.

DataDrivenQuadraticJSR.jl: A toolbox for datadriven stability analysis and invariant subspace identification of switched linear systems
References:
 Zheming Wang, GB, Raphaël M. Jungers, Datadriven feedback stabilization of switched linear systems with probabilistic stability guarantees, to appear in Proceedings of 2021 60th Conference on Decision and Control, 2021.
 GB, Raphaël M. Jungers, Zheming Wang, Chanceconstrained quasiconvex optimization with application to datadriven switched systems control, Proceedings of 2021 3rd Annual Learning for Dynamics & Control Conference, PMLR, vol. 144, pp. 571583, 2021.

HybridSystemIdentification.jl: A toolbox for the identification of hybrid linear systems