Sadra Sadraddini
From MaRDI portal
Person:4561446
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 |
|---|---|---|
| Compositional synthesis for linear systems via convex optimization of assume-guarantee contracts Automatica | 2024-09-16 | Paper |
| Elliptical Slice Sampling for Probabilistic Verification of Stochastic Systems with Signal Temporal Logic Specifications 25th ACM International Conference on Hybrid Systems: Computation and Control | 2024-02-21 | Paper |
| Compositional synthesis via a convex parameterization of assume-guarantee contracts Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Robust output feedback control with guaranteed constraint satisfaction Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control | 2021-01-25 | Paper |
| Formal Synthesis of Control Strategies for Positive Monotone Systems IEEE Transactions on Automatic Control | 2019-03-28 | Paper |
| Formal Guarantees in Data-Driven Model Identification and Control Synthesis Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) | 2018-12-06 | Paper |
Research outcomes over time
This page was built for person: Sadra Sadraddini
