| Year | Rank | Type | Title / Venue / Authors |
|---|---|---|---|
| 2026 | J | jnl |
CoRR
|
| 2026 | J | jnl |
CoRR
|
| 2025 | — | conf |
CDC
|
| 2025 | B | conf |
ATVA
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
CDC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
CDC
|
| 2025 | — | conf |
CDC
|
| 2025 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2025 | — | conf |
CDC
|
| 2025 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2025 | — | conf |
QEST+FORMATS
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2025 | J | jnl |
CoRR
|
| 2025 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2025 | — | conf |
NeuS
|
| 2025 | — | conf |
CDC
|
| 2025 | J | jnl |
CoRR
|
| 2025 | — | conf |
CDC
|
| 2025 | C | conf |
ACC
|
| 2024 | — | ed. |
ADHS
|
| 2024 | — | conf |
CDC
|
| 2024 | — | conf |
HSCC
|
| 2024 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2024 | — | conf |
ADHS
|
| 2024 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
Autom.
|
| 2024 | A | conf |
RTAS
|
| 2024 | — | conf |
ADHS
|
| 2024 | C | conf |
ACC
|
| 2024 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2024 | — | conf |
ADHS
|
| 2024 | A* | conf |
AAAI
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
CDC
|
| 2024 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
ADHS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | — | conf |
CDC
|
| 2024 | — | conf |
ADHS
|
| 2024 | J | jnl |
CoRR
|
| 2024 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2023 | — | conf |
CDC
|
| 2023 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2023 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2023 | J | jnl |
SIAM J. Control. Optim.
|
| 2023 | — | conf |
CDC
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
Syst. Control. Lett.
|
| 2023 | J | jnl |
Autom.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Trans. Control. Netw. Syst.
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | — | conf |
CDC
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning.
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | J | jnl |
CoRR
|
| 2023 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2023 | A* | conf |
AAAI
|
| 2023 | — | conf |
CDC
|
| 2023 | — | conf |
CDC
|
| 2022 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2022 | C | conf |
ACC
|
| 2022 | J | jnl |
Eur. J. Control
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Autom.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
CDC
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Autom.
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
L4DC
|
| 2022 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2022 | — | conf |
L4DC
|
| 2022 | — | conf |
CDC
|
| 2022 | — | conf |
L4DC
|
| 2022 | J | jnl |
Leibniz Trans. Embed. Syst.
|
| 2022 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2022 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2022 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2022 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2022 | J | jnl |
Syst. Control. Lett.
|
| 2022 | C | conf |
ACC
|
| 2022 | — | conf |
HSCC
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
CoRR
|
| 2022 | J | jnl |
Annu. Rev. Control.
|
| 2022 | — | conf |
CCTA
|
| 2022 | J | jnl |
CoRR
|
| 2022 | — | conf |
ECC
|
| 2022 | — | conf |
HSCC
|
| 2021 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2021 | — | conf |
CDC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Des. Test
|
| 2021 | J | jnl |
IEEE Trans. Control. Netw. Syst.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Eur. J. Control
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Autom.
|
| 2021 | — | conf |
CDC
|
| 2021 | — | conf |
ADHS
|
| 2021 | — | conf |
ADHS
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Autom.
|
| 2021 | — | conf |
HSCC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
HSCC
|
| 2021 | — | conf |
CAADCPS@CPSIoTWeek
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
Syst. Control. Lett.
|
| 2021 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2021 | — | conf |
HSCC
|
| 2021 | — | conf |
HSCC
|
| 2021 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
CDC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | — | conf |
CDC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2021 | — | conf |
CAADCPS@CPSIoTWeek
|
| 2021 | C | conf |
ACC
|
| 2021 | J | jnl |
CoRR
|
| 2021 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2021 | J | jnl |
CoRR
|
| 2020 | — | conf |
CAV (2)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
HSCC
|
| 2020 | — | conf |
ARCH
|
| 2020 | J | jnl |
Autom.
|
| 2020 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
CDC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
CDC
|
| 2020 | J | jnl |
Autom.
|
| 2020 | — | conf |
HSCC
|
| 2020 | — | conf |
CDC
|
| 2020 | — | conf |
CDC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | C | conf |
ACC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
ICCPS
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
IEEE Trans. Control. Netw. Syst.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | C | conf |
ACC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
CAV (1)
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
CDC
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
ACM Trans. Cyber Phys. Syst.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
Autom.
|
| 2020 | J | jnl |
CoRR
|
| 2020 | J | jnl |
CoRR
|
| 2020 | — | conf |
HSCC
|
| 2020 | — | conf |
HSCC
|
| 2019 | — | conf |
Abstraction-Based Synthesis of Opacity-Enforcing Controllers using Alternating Simulation Relations.
CDC
|
| 2019 | — | conf |
ECC
|
| 2019 | — | conf |
NSV@CAV
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | conf |
ECC
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Control. Syst. Lett.
|
| 2019 | — | conf |
ECC
|
| 2019 | — | conf |
CDC
|
| 2019 | J | jnl |
Autom.
|
| 2019 | — | conf |
SNR
|
| 2019 | C | conf |
ACC
|
| 2019 | J | jnl |
Autom.
|
| 2019 | J | jnl |
CoRR
|
| 2019 | — | ed. |
NSV@CAV
|
| 2019 | J | jnl |
CoRR
|
| 2019 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2019 | — | conf |
FORMATS
|
| 2019 | — | conf |
TACAS (2)
|
| 2019 | — | conf |
ICCPS
|
| 2019 | — | conf |
HSCC
|
| 2019 | — | conf |
CDC
|
| 2019 | — | conf |
HSCC
|
| 2018 | — | conf |
ARCH@ADHS
|
| 2018 | — | conf |
HSCC
|
| 2018 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
IEEE Trans. Control. Netw. Syst.
|
| 2018 | — | conf |
ADHS
|
| 2018 | J | jnl |
IEEE Trans. Control. Netw. Syst.
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ADHS
|
| 2018 | — | conf |
HSCC
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
HSCC
|
| 2018 | — | conf |
CDC
|
| 2018 | — | conf |
CDC
|
| 2018 | C | conf |
ACC
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
ECC
|
| 2018 | — | conf |
Compositional construction of abstractions via relaxed small-gain conditions Part II: discrete case.
ECC
|
| 2018 | — | conf |
HSCC
|
| 2018 | J | jnl |
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
CoRR
|
| 2018 | — | conf |
HSCC
|
| 2018 | C | conf |
ACC
|
| 2018 | — | conf |
HSCC
|
| 2018 | J | jnl |
CoRR
|
| 2018 | — | conf |
MeTRiD@ETAPS
|
| 2018 | J | jnl |
CoRR
|
| 2018 | J | jnl |
IEEE Trans. Control. Netw. Syst.
|
| 2018 | B | conf |
ATVA
|
| 2018 | J | jnl |
CoRR
|
| 2017 | — | conf |
ICCPS
|
| 2017 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
CDC
|
| 2017 | — | conf |
CDC
|
| 2017 | J | jnl |
Dagstuhl Reports
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
CDC
|
| 2017 | — | conf |
HSCC
|
| 2017 | J | jnl |
CoRR
|
| 2017 | — | conf |
CDC
|
| 2017 | — | conf |
QEST
|
| 2017 | J | jnl |
CoRR
|
| 2017 | J | jnl |
Discret. Event Dyn. Syst.
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
CDC
|
| 2016 | J | jnl |
CoRR
|
| 2016 | — | conf |
ECC
|
| 2016 | — | conf |
Allerton
|
| 2016 | — | conf |
Allerton
|
| 2016 | — | conf |
HSCC
|
| 2016 | — | conf |
FORMATS
|
| 2016 | — | conf |
Allerton
|
| 2016 | — | conf |
CDC
|
| 2016 | J | jnl |
CoRR
|
| 2015 | J | jnl |
CoRR
|
| 2015 | C | conf |
ACC
|
| 2015 | J | jnl |
CoRR
|
| 2015 | — | conf |
HSCC
|
| 2015 | — | conf |
CDC
|
| 2015 | — | conf |
CPSNA
|
| 2015 | J | jnl |
Autom.
|
| 2014 | J | jnl |
Syst. Control. Lett.
|
| 2014 | A | conf |
RTSS
|
| 2014 | — | conf |
HSCC
|
| 2014 | — | conf |
CDC
|
| 2014 | — | conf |
CDC
|
| 2014 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2014 | J | jnl |
CoRR
|
| 2014 | J | jnl |
CoRR
|
| 2014 | C | conf |
ACC
|
| 2013 | J | jnl |
Syst. Control. Lett.
|
| 2013 | — | conf |
CDC
|
| 2013 | — | conf |
ECC
|
| 2013 | — | conf |
QEST
|
| 2013 | J | jnl |
CoRR
|
| 2013 | — | conf |
ECC
|
| 2012 | A* | conf |
CAV
|
| 2012 | — | — |
|
| 2012 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2012 | J | jnl |
CoRR
|
| 2012 | Misc | conf |
EMSOFT
|
| 2011 | — | conf |
CDC/ECC
|
| 2011 | J | jnl |
IEEE Trans. Autom. Control.
|
| 2011 | J | jnl |
CoRR
|
| 2011 | Misc | conf |
EMSOFT
|
| 2010 | C | conf |
ACC
|
| 2010 | — | conf |
CDC
|
| 2007 | — | conf |
SIS
|