( en | de | ru )

 

Disambiguation of "Dullerud, Geir E."

Author of the publication

copydeleteadd this publication to your clipboard
STMC: Statistical Model Checker with Stratified and Antithetic Sampling.

, , , , and . CAV (2), volume 12225 of Lecture Notes in Computer Science, page 448-460. Springer, (2020)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Geir Volden

Bettina Geirhos

Karl Geiringer

Jón Geirsson

Susanne Geirhofer

 

Other publications of authors with the same name

On the balanced truncation of LTV systems., and . IEEE Trans. Automat. Contr., 51 (2): 315-320 (2006)Distributed control design for spatially interconnected systems., and . IEEE Trans. Automat. Contr., 48 (9): 1478-1495 (2003)$L_2$-Gain Analysis of Periodic Event-Triggered Control and Self-Triggered Control Using Lifting., , , and . IEEE Trans. Autom. Control., 66 (8): 3749-3756 (2021)Control of Linear Switched Systems With Receding Horizon Modal Information., , and . IEEE Trans. Autom. Control., 59 (9): 2340-2352 (2014)Stabilization and Optimization of Discrete-Time Markovian Jump Linear Systems via Mode Feedback Control., , , , and . IEEE Trans. Autom. Control., 67 (12): 6505-6520 (2022)Robust Controller Synthesis for Uncertain Time-Varying Systems., and . SIAM J. Control and Optimization, 40 (4): 1312-1331 (2002)A nonlinear functional approach to LFT model validation., and . Syst. Control. Lett., 47 (1): 1-11 (2002)An exact convex solution to receding horizon control., , and . ACC, page 5955-5960. IEEE, (2012)Decentralized Control with Communication Bandwidth Constraints., and . ACC, page 1711-1716. IEEE, (2007)Decentralized control with moving-horizon linear switched systems: Synthesis and testbed implementation., and . ACC, page 851-856. IEEE, (2017)