Yasser Shoukry

MaRDI QIDQ1987259zbMATH OpenFDO

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
Passivity tools for hybrid learning rules in large populations Automatica	2026-04-02	Paper
Fast BATLLNN: Fast Box Analysis of Two-Level Lattice Neural Networks 25th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
BERN-NN: Tight Bound Propagation For Neural Networks Using Bernstein Polynomial Interval Arithmetic Proceedings of the 26th ACM International Conference on Hybrid Systems: Computation and Control	2024-02-21	Paper
Cloud-Based Quadratic Optimization With Partially Homomorphic Encryption IEEE Transactions on Automatic Control	2021-05-28	Paper
AReN Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control	2021-01-25	Paper
Securing state reconstruction under sensor and actuator attacks: theory and design Automatica	2020-04-14	Paper
Securing state reconstruction under sensor and actuator attacks: theory and design Automatica	2020-04-14	Paper
AReN: Assured ReLU NN Architecture for Model Predictive Control of LTI Systems (available as arXiv preprint)	2019-11-04	Paper
Formal verification of neural network controlled autonomous systems Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control	2019-10-22	Paper
Cloud-based Quadratic Optimization with Partially Homomorphic Encryption (available as arXiv preprint)	2018-09-06	Paper
Secure State Estimation for Cyber-Physical Systems Under Sensor Attacks: A Satisfiability Modulo Theory Approach IEEE Transactions on Automatic Control	2018-06-27	Paper
Secure State Estimation Against Sensor Attacks in the Presence of Noise IEEE Transactions on Control of Network Systems	2017-09-21	Paper
SMC: satisfiability modulo convex optimization Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control	2017-07-11	Paper
Event-Triggered State Observers for Sparse Sensor Noise/Attacks IEEE Transactions on Automatic Control	2017-05-03	Paper

Research outcomes over time

This page was built for person: Yasser Shoukry