Asad Ullah Awan

17 papers C 2Journal 6Unranked 8
YearRankTypeTitle / Venue / Authors
2025 — —
Model Reduction for Controller Synthesis of Networks of Cyber Physical Systems.
Asad Ullah Awan
2025 J jnl
Reduced-Order Gaussian Processes for Partially Unknown Nonlinear Control Systems.
IEEE Trans. Autom. Control.
Asad Ullah Awan, Majid Zamani
2025 C conf
Verification of Discrete-Time Systems against Timed Automata Specifications.
ACC
Asad Ullah Awan, Vishnu Murali, Majid Zamani
2023 J jnl
Abstractions of networks of stochastic hybrid systems under randomly switched topologies: A compositional approach.
Syst. Control. Lett.
Asad Ullah Awan, Majid Zamani
2023 J jnl
Formal Synthesis of Safety Controllers for Unknown Systems Using Gaussian Process Transfer Learning.
IEEE Control. Syst. Lett.
Asad Ullah Awan, Majid Zamani
2022 — conf
Formal Synthesis of Safety Controllers for Unknown Stochastic Control Systems using Gaussian Process Learning.
L4DC
Rameez Wajid, Asad Ullah Awan, Majid Zamani
2020 J jnl
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
IEEE Trans. Control. Netw. Syst.
Asad Ullah Awan, Majid Zamani
2019 — conf
Designing image-based control systems considering workload variations.
CDC
Sajid Mohamed, Asad Ullah Awan, Dip Goswami, Twan Basten
2018 — conf
Compositional abstraction for interconnected systems over Riemannian manifolds: A dissipativity approach.
CDC
Asad Ullah Awan, Samuel Coogan, Majid Zamani
2018 — conf
Compositional abstraction for interconnected systems over Riemannian manifolds: A small-gain approach.
CDC
Asad Ullah Awan, Majid Zamani
2018 C conf
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.
ACC
Asad Ullah Awan, Majid Zamani
2018 J jnl
Compositional abstractions of networks of stochastic hybrid systems under randomly switched topologies.
CoRR
Asad Ullah Awan, Majid Zamani
2018 J jnl
From Dissipativity Theory to Compositional Abstractions of Interconnected Stochastic Hybrid Systems.
CoRR
Asad Ullah Awan, Majid Zamani
2017 — conf
Compositional abstraction of interconnected control systems under dynamic interconnection topology.
CDC
Asad Ullah Awan, Majid Zamani
2016 — conf
On a notion of estimation entropy for stochastic hybrid systems.
Allerton
Asad Ullah Awan, Majid Zamani
2015 — conf
Adaptive control of air-to-air missile using multilayer NN feedforward and RISE feedback terms.
ASCC
Haleema Saadia, Asad Ullah Awan, Kunwar Faraz Ahmed Khan, Muwahida Liaquat, Sadia Waheed
2013 — conf
Application of Echo-State Networks to the Position Control of Shape-Memory Alloys.
ALCOSP
Jaemann Park, Bong-ju Lee, Asad Ullah Awan, H. Jin Kim