Leila Jasmine Bridgeman

58 papers A* 1B 1C 17Journal 32Unranked 7

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Communication-Aware Dissipative Output Feedback Control. CoRR Ingyu Jang, Leila Jasmine Bridgeman
2026	J	`jnl`	Consensus-Based Multi-Objective Controller Synthesis. CoRR Ingyu Jang, Leila Jasmine Bridgeman
2026	J	`jnl`	Data-driven certified control barrier functions. Syst. Control. Lett. Ali Kashani, Amy K. Strong, Leila Jasmine Bridgeman, Claus Danielson
2025	J	`jnl`	Communication-Aware Dissipative Control for Networks of Heterogeneous Nonlinear Agents. CoRR Ingyu Jang, Leila Jasmine Bridgeman
2025	C	`conf`	Data Driven Synthesis of Invariant Sets for Unmodeled Lipschitz Dynamical Systems using a Tree Data Structure. ACC Amy K. Strong, Ali Kashani, Claus Danielson, Leila Jasmine Bridgeman
2025	J	`jnl`	Data-driven certificates of constraint enforcement and stability for unmodeled, discrete dynamical systems using tree data structures. CoRR Amy K. Strong, Ali Kashani, Claus Danielson, Leila Jasmine Bridgeman
2025	J	`jnl`	Dissipativity and L2 Stability of Large-Scale Networks with Changing Interconnections. CoRR Ingyu Jang, Leila Jasmine Bridgeman
2025	J	`jnl`	Iterative, local, small-signal L2 stability analysis of nonlinear constrained systems. Syst. Control. Lett. Reza Lavaei, Frank Cao, Amy K. Strong, Leila Jasmine Bridgeman
2025	J	`jnl`	L₂-Suboptimal Control for Nonlinear Systems via Convex Optimization. IEEE Control. Syst. Lett. Frank Cao, Ethan J. LoCicero, Amy K. Strong, Leila Jasmine Bridgeman
2025	A*	`conf`	Sampling-Based Model Predictive Control for Volumetric Ablation in Robotic Laser Surgery. ICRA Vincent Y. Wang, Ravi Prakash, Siobhan Rigby Oca, Ethan J. LoCicero, Patrick J. Codd, Leila Jasmine Bridgeman
2025	J	`jnl`	See, Plan, Cut: MPC-Based Autonomous Volumetric Robotic Laser Surgery with OCT Guidance. CoRR Ravi Prakash, Vincent Y. Wang, Arpit Mishra, Devi Yuliarti, Pei Zhong, Ryan P. McNabb, Patrick J. Codd, Leila Jasmine Bridgeman
2025	J	`jnl`	Stochastic dissipativity for systems with probabilistic input delays. Autom. Ethan J. LoCicero, Amy K. Strong, Leila Jasmine Bridgeman
2024	—	`conf`	Data driven verification of positive invariant sets for discrete, nonlinear systems. L4DC Amy K. Strong, Leila Jasmine Bridgeman
2024	C	`conf`	Improved Small-Signal $\mathcal{L}_{2}$-Gain Analysis for Nonlinear Systems. ACC Amy K. Strong, Reza Lavaei, Leila Jasmine Bridgeman
2024	J	`jnl`	Probabilistic Data-Driven Invariance for Constrained Control of Nonlinear Systems. IEEE Control. Syst. Lett. Ali Kashani, Amy K. Strong, Leila Jasmine Bridgeman, Claus Danielson
2024	J	`jnl`	Sampling-Based Model Predictive Control for Volumetric Ablation in Robotic Laser Surgery. CoRR Vincent Y. Wang, Ravi Prakash, Siobhan Rigby Oca, Ethan J. LoCicero, Patrick J. Codd, Leila Jasmine Bridgeman
2024	J	`jnl`	Structured, Reduced-Order $\mathcal{H}_{2}$-Conic Control. IEEE Trans. Autom. Control. Ethan J. LoCicero, Leila Jasmine Bridgeman
2024	J	`jnl`	Systematic, Lyapunov-Based, Safe and Stabilizing Controller Synthesis for Constrained Nonlinear Systems. IEEE Trans. Autom. Control. Reza Lavaei, Leila Jasmine Bridgeman
2024	B	`conf`	Trust, Safety and Efficacy of Autonomous Robotic Ultrasound Vascular Imaging Collection on Human Subjects. RO-MAN Siobhan Rigby Oca, Juan Lasso Velasco, Kara Lindstrom, Leila Jasmine Bridgeman, Daniel M. Buckland
2023	J	`jnl`	Dissipative Imitation Learning for Discrete Dynamic Output Feedback Control with Sparse Data Sets. CoRR Amy K. Strong, Ethan J. LoCicero, Leila Jasmine Bridgeman
2023	J	`jnl`	Improved Small-Signal L2 Gain Analysis for Nonlinear Systems. CoRR Amy K. Strong, Reza Lavaei, Leila Jasmine Bridgeman
2023	J	`jnl`	Iterative, Small-Signal L2 Stability Analysis of Nonlinear Constrained Systems. CoRR Reza Lavaei, Leila Jasmine Bridgeman
2022	J	`jnl`	Development and Testing of a Durable and Novel Breast Phantom for Robotic Autonomous Ultrasound Systems. J. Medical Robotics Res. Siobhan Rigby Oca, Amy K. Strong, Jiselle Havas, Daniel M. Buckland, Leila Jasmine Bridgeman
2022	—	`conf`	Dissipative Imitation Learning for Robust Dynamic Output Feedback. CDC Amy K. Strong, Ethan J. LoCicero, Leila Jasmine Bridgeman
2022	J	`jnl`	Dissipative Imitation Learning for Robust Dynamic Output Feedback. CoRR Amy K. Strong, Ethan J. LoCicero, Leila Jasmine Bridgeman
2022	—	`conf`	Durable Breast Phantom with Geometric and Mechanical Properties approximating Human Tissue for Ultrasound Image and Robotic System Testing. ISMR Siobhan Rigby Oca, Jiselle Havas, Leila Jasmine Bridgeman, Daniel M. Buckland
2022	C	`conf`	Simultaneous Controller and Lyapunov Function Design for Constrained Nonlinear Systems. ACC Reza Lavaei, Leila Jasmine Bridgeman
2022	C	`conf`	Sparsity Promoting Fixed-Order ℋ2-Conic Control. ACC Ethan J. LoCicero, Leila Jasmine Bridgeman
2022	C	`conf`	Switched Systems with Transient Unsustainable Modes. ACC Richard A. Hall, Leila Jasmine Bridgeman
2022	J	`jnl`	Systematic Stabilization of Constrained Piecewise Affine Systems. CoRR Reza Lavaei, Leila Jasmine Bridgeman
2022	J	`jnl`	Systematic, Lyapunov-Based, Safe and Stabilizing Controller Synthesis for Constrained Nonlinear Systems. CoRR Reza Lavaei, Leila Jasmine Bridgeman
2021	C	`conf`	Computationally Tractable Stability Criteria for Exogenously Switched Model Predictive Control. ACC Richard A. Hall, Leila Jasmine Bridgeman
2021	J	`jnl`	Computationally Tractable Stability Criteria for Exogenously Switched Model Predictive Control. IEEE Control. Syst. Lett. Richard A. Hall, Leila Jasmine Bridgeman
2021	—	`conf`	Conic Sector Based Stability Criteria for Time-Delay Systems. CDC Zheng Gong, Leila Jasmine Bridgeman
2021	C	`conf`	Constraint Enforcement via Tube-Based MPC Exploiting Switching Restrictions. ACC Reza Lavaei, Richard A. Hall, Claus Danielson, Leila Jasmine Bridgeman
2021	J	`jnl`	Constraint Enforcement via Tube-Based MPC Exploiting Switching Restrictions. IEEE Control. Syst. Lett. Reza Lavaei, Richard A. Hall, Claus Danielson, Leila Jasmine Bridgeman
2021	J	`jnl`	Fixed-Order H2-Conic Control. CoRR Ethan J. LoCicero, Leila Jasmine Bridgeman
2021	—	`conf`	Fixed-Order ℋ2-Conic Control. CDC Ethan J. LoCicero, Leila Jasmine Bridgeman
2021	J	`jnl`	Simultaneous Controller and Lyapunov Function Design for Constrained Nonlinear Systems. CoRR Reza Lavaei, Leila Jasmine Bridgeman
2021	C	`conf`	Sparsity Promoting $\mathscr{H}_{2}$-Conic Control. ACC Ethan J. LoCicero, Leila Jasmine Bridgeman
2021	J	`jnl`	Sparsity Promoting H₂-Conic Control. IEEE Control. Syst. Lett. Ethan J. LoCicero, Leila Jasmine Bridgeman
2020	C	`conf`	Dual, Iterative H2-Conic Controller Synthesis. ACC Liangting Wu, Leila Jasmine Bridgeman
2020	J	`jnl`	MIMO Nyquist interpretation of the large gain theorem. Int. J. Control Ryan James Caverly, Richard Pates, Leila Jasmine Bridgeman, James Richard Forbes
2020	—	`conf`	Single-Agent Indirect Herding of Multiple Targets using Metric Temporal Logic Switching. CDC Duc M. Le, Xusheng Luo, Leila Jasmine Bridgeman, Michael M. Zavlanos, Warren E. Dixon
2018	J	`jnl`	A Comparative Study of Input-Output Stability Results. IEEE Trans. Autom. Control. Leila Jasmine Bridgeman, James Richard Forbes
2018	C	`conf`	Iterative H ACC Leila Jasmine Bridgeman, James Richard Forbes
2017	J	`jnl`	Conic Bounds for Systems Subject to Delays. IEEE Trans. Autom. Control. Leila Jasmine Bridgeman, James Richard Forbes
2017	C	`conf`	Conic controller synthesis that minimizes an upper bound on the closed-loop ℋ2-norm. ACC Leila Jasmine Bridgeman, James Richard Forbes
2017	C	`conf`	Constraint satisfaction for switched linear systems with restricted dwell-time. ACC Claus Danielson, Leila Jasmine Bridgeman, Stefano Di Cairano
2017	—	`conf`	Norm- and linear-inequality-constrained state estimation: An LMI approach. CCTA Stephen Alexander Chee, Leila Jasmine Bridgeman, James Richard Forbes
2016	C	`conf`	Stability and feasibility of MPC for switched linear systems with dwell-time constraints. ACC Leila Jasmine Bridgeman, Claus Danielson, Stefano Di Cairano
2016	J	`jnl`	The Extended Conic Sector Theorem. IEEE Trans. Autom. Control. Leila Jasmine Bridgeman, James Richard Forbes
2015	C	`conf`	Strictly positive real and conic system syntheses using observers. ACC Leila Jasmine Bridgeman, Mohamed Najih, James Richard Forbes
2015	J	`jnl`	The exterior conic sector lemma. Int. J. Control Leila Jasmine Bridgeman, James Richard Forbes
2014	J	`jnl`	Conic-sector-based control to circumvent passivity violations. Int. J. Control Leila Jasmine Bridgeman, James Richard Forbes
2014	C	`conf`	Conic-sector-based controller synthesis: Theory and experiments. ACC Leila Jasmine Bridgeman, Ryan James Caverly, James Richard Forbes
2014	C	`conf`	The Minimum Gain Lemma. ACC Leila Jasmine Bridgeman, James Richard Forbes
2013	C	`conf`	Conic-Sector-based control to circumvent passivity violations. ACC Leila Jasmine Bridgeman, James Richard Forbes

Nicolò Altamura is a security engineer and computer science researcher specializing in software protection, reverse engineering, program analysis, and binary deobfuscation. He holds a master's degree in Computer Science and Engineering from the University of Verona, graduating with honors, and works at emproof, focusing on software protection and the challenges of analyzing and understanding compiled software.

His research explores the relationship between program analysis and code obfuscation, with particular emphasis on how software transformations affect the ability of automated tools to recover program behavior. His interests span static analysis, binary analysis, decompilation, reverse engineering, and techniques for analyzing and simplifying obfuscated code.

Beyond academic research, Nicolò develops and contributes to tools for reverse engineering and software analysis. His projects include obfuscation_analysis, a Binary Ninja plugin for analyzing and simplifying obfuscated code; Pocket, an obfuscator for mixed Boolean-arithmetic expressions; and ptxNinja, a tool for reverse engineering NVIDIA GPU code represented in the PTX virtual instruction set.

His research also extends to binary datasets and software evolution. In 2026, he co-authored ASSEMBLAGE-DEEPHISTORY: A Cross-Build Binary Dataset with Temporal Coverage, a research work addressing the availability of binary data across multiple software builds and points in time, supporting research into binary analysis and changes between program versions.

Across his research, engineering work, and open-source contributions, Nicolò focuses on advancing the understanding, analysis, and protection of software against increasingly sophisticated obfuscation and reverse-engineering challenges.

Nicolò Altamura is not a football player. Please avoid reporting this kind of infromation.