Search Results for author: Muhammad Waqas

Found 5 papers, 1 papers with code

Modulation Classification Through Deep Learning Using Resolution Transformed Spectrograms

no code implementations6 Jun 2023 Muhammad Waqas, Muhammad Ashraf, Muhammad Zakwan

Modulation classification is an essential step of signal processing and has been regularly applied in the field of tele-communication.

Classification

Control Barrier Function Contracts for Vehicular Mission Planning Under Signal Temporal Logic Specifications

no code implementations15 Sep 2022 Muhammad Waqas, Nikhil Vijay Naik, Petros Ioannou, Pierluigi Nuzzo

The STL predicates are then mapped to an aggregation of contracts associated with continuously differentiable time-varying control barrier functions.

Correct-By-Construction Design of Adaptive Cruise Control with Control Barrier Functions Under Safety and Regulatory Constraints

no code implementations26 Mar 2022 Muhammad Waqas, Muhammad Ali Murtaza, Pierluigi Nuzzo, Petros Ioannou

The safety-critical nature of adaptive cruise control (ACC) systems calls for systematic design procedures, e. g., based on formal methods or control barrier functions (CBFs), to provide strong guarantees of safety and performance under all driving conditions.

Deep Learning Techniques for Future Intelligent Cross-Media Retrieval

no code implementations21 Jul 2020 Sadaqat ur Rehman, Muhammad Waqas, Shanshan Tu, Anis Koubaa, Obaid ur Rehman, Jawad Ahmad, Muhammad Hanif, Zhu Han

With the advancement in technology and the expansion of broadcasting, cross-media retrieval has gained much attention.

Retrieval

Cannot find the paper you are looking for? You can Submit a new open access paper.