Yasser Shoukry

111 papers A* 5A 1B 1C 7Misc 3Journal 59Unranked 35

Year	Rank	Type	Title / Venue / Authors
2026	J	`jnl`	Can LLMs Discern the Traits Influencing Your Preferences? Evaluating Personality-Driven Preference Alignment in LLMs. CoRR Tianyu Zhao, Siqi Li, Yasser Shoukry, Salma Elmalaki
2026	J	`jnl`	Correct-by-Construction Vision-based Pose Estimation using Geometric Generative Models. CoRR Ulices Santa Cruz, Mahmoud Elfar, Yasser Shoukry
2026	J	`jnl`	From Dead Neurons to Deep Approximators: Deep Bernstein Networks as a Provable Alternative to Residual Layers. CoRR Ibrahim Albool, Malak Gamal El-Din, Salma Elmalaki, Yasser Shoukry
2026	J	`jnl`	Passivity tools for hybrid learning rules in large populations. Autom. Jair Certório, Kevin Chang, Nuno C. Martins, Pierluigi Nuzzo, Yasser Shoukry
2026	J	`jnl`	Perception with Guarantees: Certified Pose Estimation via Reachability Analysis. CoRR Tobias Ladner, Yasser Shoukry, Matthias Althoff
2025	J	`jnl`	Certified Learning-Enabled Noise-Aware Motion Planning for Urban Air Mobility. CoRR Jaejeong Park, Mahmoud Elfar, Cody H. Fleming, Yasser Shoukry
2025	—	`conf`	Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions. HSCC Goli Vaisi, James Ferlez, Yasser Shoukry
2025	J	`jnl`	Extracting Forward Invariant Sets from Neural Network-Based Control Barrier Functions. CoRR Goli Vaisi, James Ferlez, Yasser Shoukry
2025	—	`conf`	Incentive Design for Safe Nash Equilibrium Learning in Large Populations via Control Barrier Functions. CDC Yifeng Xiao, Jair Certório, Nuno C. Martins, Yasser Shoukry, Pierluigi Nuzzo
2025	J	`jnl`	KoALA: KL-L0 Adversarial Detector via Label Agreement. CoRR Siqi Li, Yasser Shoukry
2025	J	`jnl`	RampoNN: A Reachability-Guided System Falsification for Efficient Cyber-Kinetic Vulnerability Detection. CoRR Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
2025	C	`conf`	ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. ACC James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2024	J	`jnl`	BERN-NN-IBF: Enhancing Neural Network Bound Propagation Through Implicit Bernstein Form and Optimized Tensor Operations. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. Wael Fatnassi, Arthur Feeney, Valen Yamamoto, Aparna Chandramowlishwaran, Yasser Shoukry
2024	A*	`conf`	DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation. AAAI Haitham Khedr, Yasser Shoukry
2024	J	`jnl`	Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. IEEE Trans. Robotics Xiaowu Sun, Yasser Shoukry
2024	J	`jnl`	Passivity Tools for Hybrid Learning Rules in Large Populations. CoRR Jair Certorio, Nuno C. Martins, Kevin Chang, Pierluigi Nuzzo, Yasser Shoukry
2024	J	`jnl`	PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. ACM Trans. Embed. Comput. Syst. Wael Fatnassi, Yasser Shoukry
2024	—	`conf`	Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. ICCPS Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
2024	J	`jnl`	Rampo: A CEGAR-based Integration of Binary Code Analysis and System Falsification for Cyber-Kinetic Vulnerability Detection. CoRR Kohei Tsujio, Mohammad Abdullah Al Faruque, Yasser Shoukry
2023	—	`conf`	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. HSCC Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2023	A*	`conf`	CertiFair: A Framework for Certified Global Fairness of Neural Networks. AAAI Haitham Khedr, Yasser Shoukry
2023	—	`conf`	Certified Vision-Based State Estimation for Autonomous Landing Systems Using Reachability Analysis. CDC Ulices Santa Cruz, Yasser Shoukry
2023	J	`jnl`	Certified Vision-based State Estimation for Autonomous Landing Systems using Reachability Analysis. CoRR Ulices Santa Cruz, Yasser Shoukry
2023	J	`jnl`	DeepBern-Nets: Taming the Complexity of Certifying Neural Networks using Bernstein Polynomial Activations and Precise Bound Propagation. CoRR Haitham Khedr, Yasser Shoukry
2023	—	`conf`	EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. ICCPS Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023	J	`jnl`	EnergyShield: Provably-Safe Offloading of Neural Network Controllers for Energy Efficiency. CoRR Mohanad Odema, James Ferlez, Goli Vaisi, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023	—	`conf`	Model Extraction Attacks Against Reinforcement Learning Based Controllers. CDC Momina Sajid, Yanning Shen, Yasser Shoukry
2023	J	`jnl`	Model Extraction Attacks Against Reinforcement Learning Based Controllers. CoRR Momina Sajid, Yanning Shen, Yasser Shoukry
2023	J	`jnl`	Polynomial-Time Reachability for LTI Systems With Two-Level Lattice Neural Network Controllers. IEEE Control. Syst. Lett. James Ferlez, Yasser Shoukry
2023	A*	`conf`	SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. DAC Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
2023	J	`jnl`	SEO: Safety-Aware Energy Optimization Framework for Multi-Sensor Neural Controllers at the Edge. CoRR Mohanad Odema, James Ferlez, Yasser Shoukry, Mohammad Abdullah Al Faruque
2022	J	`jnl`	BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic. CoRR Wael Fatnassi, Haitham Khedr, Valen Yamamoto, Yasser Shoukry
2022	J	`jnl`	CertiFair: A Framework for Certified Global Fairness of Neural Networks. CoRR Haitham Khedr, Yasser Shoukry
2022	—	`conf`	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. HSCC James Ferlez, Haitham Khedr, Yasser Shoukry
2022	—	`conf`	NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. NFM Ulices Santa Cruz, Yasser Shoukry
2022	J	`jnl`	NNLander-VeriF: A Neural Network Formal Verification Framework for Vision-Based Autonomous Aircraft Landing. CoRR Ulices Santa Cruz, Yasser Shoukry
2022	—	`conf`	NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. CDC Xiaowu Sun, Yasser Shoukry
2022	J	`jnl`	Neurosymbolic Motion and Task Planning for Linear Temporal Logic Tasks. CoRR Xiaowu Sun, Yasser Shoukry
2022	J	`jnl`	PolyARBerNN: A Neural Network Guided Solver and Optimizer for Bounded Polynomial Inequalities. CoRR Wael Fatnassi, Yasser Shoukry
2022	J	`jnl`	Polynomial-Time Reachability for LTI Systems with Two-Level Lattice Neural Network Controllers. CoRR James Ferlez, Yasser Shoukry
2022	—	`conf`	Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. CDC Ulices Santa Cruz, James Ferlez, Yasser Shoukry
2022	J	`jnl`	VindiCo: Privacy Safeguard Against Adaptation Based Spyware in Human-in-the-Loop IoT. CoRR Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani B. Srivastava
2021	J	`jnl`	Assured Neural Network Architectures for Control and Identification of Nonlinear Systems. CoRR James Ferlez, Yasser Shoukry
2021	—	`conf`	Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. CDC James Ferlez, Yasser Shoukry
2021	J	`jnl`	Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption. IEEE Trans. Autom. Control. Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2021	J	`jnl`	Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks. CoRR James Ferlez, Haitham Khedr, Yasser Shoukry
2021	J	`jnl`	NNSynth: Neural Network Guided Abstraction-Based Controller Synthesis for Stochastic Systems. CoRR Xiaowu Sun, Yasser Shoukry
2021	—	`conf`	PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier. CAV (1) Haitham Khedr, James Ferlez, Yasser Shoukry
2021	—	`conf`	PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. ADHS Wael Fatnassi, Yasser Shoukry
2021	J	`jnl`	PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. CoRR Wael Fatnassi, Yasser Shoukry
2021	J	`jnl`	Provably Correct Training of Neural Network Controllers Using Reachability Analysis. CoRR Xiaowu Sun, Yasser Shoukry
2021	—	`conf`	Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CDC Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
2021	J	`jnl`	Provably Safe Model-Based Meta Reinforcement Learning: An Abstraction-Based Approach. CoRR Xiaowu Sun, Wael Fatnassi, Ulices Santa Cruz, Yasser Shoukry
2021	J	`jnl`	Safe-by-Repair: A Convex Optimization Approach for Repairing Unsafe Two-Level Lattice Neural Network Controllers. CoRR Ulices Santa Cruz, James Ferlez, Yasser Shoukry
2020	—	`conf`	AReN: assured ReLU NN architecture for model predictive control of LTI systems. HSCC James Ferlez, Yasser Shoukry
2020	J	`jnl`	Bounding the Complexity of Formally Verifying Neural Networks: A Geometric Approach. CoRR James Ferlez, Yasser Shoukry
2020	C	`conf`	Controller Synthesis subject to Logical and Structural Constraints: A Satisfiability Modulo Theories (SMT) Approach. ACC MirSaleh Bahavarnia, Yasser Shoukry, Nuno C. Martins
2020	J	`jnl`	Effective Formal Verification of Neural Networks using the Geometry of Linear Regions. CoRR Haitham Khedr, James Ferlez, Yasser Shoukry
2020	J	`jnl`	Gordian: Formal Reasoning-based Outlier Detection for Secure Localization. ACM Trans. Cyber Phys. Syst. Matthew Weber, Baihong Jin, Gil Lederman, Yasser Shoukry, Edward A. Lee, Sanjit A. Seshia, Alberto L. Sangiovanni-Vincentelli
2020	J	`jnl`	Securing state reconstruction under sensor and actuator attacks: Theory and design. Autom. Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
2020	J	`jnl`	ShieldNN: A Provably Safe NN Filter for Unsafe NN Controllers. CoRR James Ferlez, Mahmoud Elnaggar, Yasser Shoukry, Cody H. Fleming
2020	—	`conf`	Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. CDC James Ferlez, Xiaowu Sun, Yasser Shoukry
2020	J	`jnl`	Two-Level Lattice Neural Network Architectures for Control of Nonlinear Systems. CoRR James Ferlez, Xiaowu Sun, Yasser Shoukry
2019	J	`jnl`	AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems. CoRR James Ferlez, Yasser Shoukry
2019	A*	`conf`	DoS-Resilient Multi-Robot Temporal Logic Motion Planning. ICRA Xiaowu Sun, Rohitkrishna Nambiar, Matthew Melhorn, Yasser Shoukry, Pierluigi Nuzzo
2019	—	`conf`	Formal verification of neural network controlled autonomous systems. HSCC Xiaowu Sun, Haitham Khedr, Yasser Shoukry
2019	J	`jnl`	Securing State Estimation Under Sensor and Actuator Attacks: Theory and Design. CoRR Mehrdad Showkatbakhsh, Yasser Shoukry, Suhas N. Diggavi, Paulo Tabuada
2019	—	`conf`	SpyCon: Adaptation Based Spyware in Human-in-the-Loop IoT. IEEE Symposium on Security and Privacy Workshops Salma Elmalaki, Bo-Jhang Ho, Moustafa Alzantot, Yasser Shoukry, Mani B. Srivastava
2018	—	`conf`	A Delay based Plug-in-Monitor for Intrusion Detection in Controller Area Network. AsianHOST Qian Wang, Yiming Qian, Zhaojun Lu, Yasser Shoukry, Gang Qu
2018	J	`jnl`	Cloud-based Quadratic Optimization with Partially Homomorphic Encryption. CoRR Andreea B. Alexandru, Konstantinos Gatsis, Yasser Shoukry, Sanjit A. Seshia, Paulo Tabuada, George J. Pappas
2018	Misc	`conf`	Embedded software for robotics: challenges and future directions: special session. EMSOFT Houssam Abbas, Indranil Saha, Yasser Shoukry, Rüdiger Ehlers, Georgios Fainekos, Rajesh Gupta, Rupak Majumdar, Dogan Ulus
2018	J	`jnl`	Formal Verification of Neural Network Controlled Autonomous Systems. CoRR Xiaowu Sun, Haitham Khedr, Yasser Shoukry
2018	—	`conf`	Internet of Personalized and Autonomous Things (IoPAT): Smart Homes Case Study. CitiFog@SenSys Salma Elmalaki, Yasser Shoukry, Mani B. Srivastava
2018	J	`jnl`	SMC: Satisfiability Modulo Convex Programming. Proc. IEEE Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2018	J	`jnl`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ACM Trans. Cyber Phys. Syst. Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2018	—	`conf`	Sybil attack resilient traffic networks: a physics-based trust propagation approach. ICCPS Yasser Shoukry, Shaunak Mishra, Zutian Luo, Suhas N. Diggavi
2017	—	`conf`	An SMT-based approach to secure state estimation under sensor and actuator attacks. CDC Mehrdad Showkatbakhsh, Yasser Shoukry, Robert H. Chen, Suhas N. Diggavi, Paulo Tabuada
2017	C	`conf`	Closed-form controlled invariant sets for pedestrian avoidance. ACC Yasser Shoukry, Paulo Tabuada, Stephanie Tsuei, Mark B. Milam, Jessy W. Grizzle, Aaron D. Ames
2017	—	`conf`	Linear temporal logic motion planning for teams of underactuated robots using satisfiability modulo convex programming. CDC Yasser Shoukry, Pierluigi Nuzzo, Ayca Balkan, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	—	`conf`	PrOLoc: resilient localization with private observers using partial homomorphic encryption. IPSN Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017	—	`conf`	PrOLoc: resilient localization with private observers using partial homomorphic encryption: demo abstract. IPSN Amr Al-Anwar, Yasser Shoukry, Supriyo Chakraborty, Bharathan Balaji, Paul Martin, Paulo Tabuada, Mani B. Srivastava
2017	—	`conf`	SMC: Satisfiability Modulo Convex Optimization. HSCC Yasser Shoukry, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation Against Sensor Attacks in the Presence of Noise. IEEE Trans. Control. Netw. Syst. Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2017	J	`jnl`	Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach. IEEE Trans. Autom. Control. Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2017	—	`conf`	Towards a socially responsible smart city: dynamic resource allocation for smarter community service. BuildSys Huey-Ru (Debbie) Tsai, Yasser Shoukry, Min Kyung Lee, Vasumathi Raman
2016	J	`jnl`	Attack Resilience and Recovery using Physical Challenge Response Authentication for Active Sensors Under Integrity Attacks. CoRR Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava
2016	J	`jnl`	Event-Triggered State Observers for Sparse Sensor Noise/Attacks. IEEE Trans. Autom. Control. Yasser Shoukry, Paulo Tabuada
2016	—	`conf`	Privacy-aware quadratic optimization using partially homomorphic encryption. CDC Yasser Shoukry, Konstantinos Gatsis, Amr Al-Anwar, George J. Pappas, Sanjit A. Seshia, Mani B. Srivastava, Paulo Tabuada
2016	—	`conf`	SMT-Based Observer Design for Cyber-Physical Systems under Sensor Attacks. ICCPS Yasser Shoukry, Michelle Chong, Masashi Wakaiki, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, João Pedro Hespanha, Paulo Tabuada
2016	—	`conf`	Scalable lazy SMT-based motion planning. CDC Yasser Shoukry, Pierluigi Nuzzo, Indranil Saha, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, George J. Pappas, Paulo Tabuada
2015	J	`jnl`	A Satisfiability Modulo Theory Approach to Secure State Reconstruction in Differentially Flat Systems Under Sensor Attacks. CoRR Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Bio-inspired underwater electrolocation through adaptive system identification. ACC Newton Truong, Yasser Shoukry, Mani B. Srivastava
2015	J	`jnl`	Non-invasive Spoofing Attacks for Anti-lock Braking Systems. IACR Cryptol. ePrint Arch. Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
2015	A*	`conf`	PyCRA: Physical Challenge-Response Authentication For Active Sensors Under Spoofing Attacks. CCS Yasser Shoukry, Paul Martin, Yair Yona, Suhas N. Diggavi, Mani B. Srivastava
2015	J	`jnl`	Secure State Estimation against Sensor Attacks in the Presence of Noise. CoRR Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	J	`jnl`	Secure State Estimation: Optimal Guarantees against Sensor Attacks in the Presence of Noise. CoRR Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	B	`conf`	Secure state estimation: Optimal guarantees against sensor attacks in the presence of noise. ISIT Shaunak Mishra, Yasser Shoukry, Nikhil Karamchandani, Suhas N. Diggavi, Paulo Tabuada
2015	—	`conf`	Secure state reconstruction in differentially flat systems under sensor attacks using satisfiability modulo theory solving. CDC Yasser Shoukry, Pierluigi Nuzzo, Nicola Bezzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2015	C	`conf`	Sound and complete state estimation for linear dynamical systems under sensor attacks using Satisfiability Modulo Theory solving. ACC Yasser Shoukry, Alberto Puggelli, Pierluigi Nuzzo, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2014	—	`conf`	Event-triggered projected Luenberger observer for linear systems under sparse sensor attacks. CDC Yasser Shoukry, Paulo Tabuada
2014	J	`jnl`	Secure State Estimation Under Sensor Attacks: A Satisfiability Modulo Theory Approach. CoRR Yasser Shoukry, Pierluigi Nuzzo, Alberto Puggelli, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Paulo Tabuada
2014	—	`conf`	Social spring: encounter-based path refinement for indoor tracking systems. BuildSys Paul D. Martin, Yasser Shoukry, Prashanth Swaminathan, Wentao Robin Ouyang, Mani B. Srivastava
2014	Misc	`conf`	ipShield: A Framework For Enforcing Context-Aware Privacy. NSDI Supriyo Chakraborty, Chenguang Shen, Kasturi Rangan Raghavan, Yasser Shoukry, Matt Millar, Mani B. Srivastava
2013	J	`jnl`	An embedded implementation of the Generalized Predictive Control algorithm applied to automotive active suspension systems. Comput. Electr. Eng. Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
2013	J	`jnl`	Event-Triggered State Observers for Sparse Sensor Noise/Attacks. CoRR Yasser Shoukry, Paulo Tabuada
2013	C	`conf`	Graph-based approach for software allocation in automotive networked embedded systems: A partition-and-map algorithm. FDL Yasser Shoukry, Ajay Kumar, M. Watheq El-Kharashi, Gahda Bahig, Sherif Hammad
2013	—	`conf`	Minimax control for cyber-physical systems under network packet scheduling attacks. HiCoNS Yasser Shoukry, José Araujo, Paulo Tabuada, Mani B. Srivastava, Karl Henrik Johansson
2013	A	`conf`	Non-invasive Spoofing Attacks for Anti-lock Braking Systems. CHES Yasser Shoukry, Paul D. Martin, Paulo Tabuada, Mani B. Srivastava
2012	Misc	`conf`	Input-output robustness for discrete systems. EMSOFT Paulo Tabuada, Ayca Balkan, Sina Y. Caliskan, Yasser Shoukry, Rupak Majumdar
2010	J	`jnl`	MPC-On-Chip: An Embedded GPC Coprocessor for Automotive Active Suspension Systems. IEEE Embed. Syst. Lett. Yasser Shoukry, M. Watheq El-Kharashi, Sherif Hammad
2010	C	`conf`	Networked embedded generalized predictive controller for an active suspension system. ACC Yasser Shoukry, Mohamed H. El-Shafie, Sherif Hammad