1. A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. Issue 5 (2021) Authors: Madary, Ahmad; Momeni, Hamid Reza; Abate, Alessandro; Larsen, Kim G. Journal: IFAC-PapersOnLine Issue: Volume 54:Issue 5(2021) Page Start: 259 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Approximate Abstractions of Markov Chains with Interval Decision Processes⁎. Issue 16 (2018) Authors: Lun, Yuriy Zacchia; Wheatley, Jack; D'Innocenzo, Alessandro; Abate, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 16(2018) Page Start: 91 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Automated verification and synthesis of stochastic hybrid systems: A survey. (December 2022) Authors: Lavaei, Abolfazl; Soudjani, Sadegh; Abate, Alessandro; Zamani, Majid Journal: Automatica Issue: Volume 146(2022) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Benchmarks for cyber-physical systems: A modular model library for building automation systems. Issue 16 (2018) Authors: Cauchi, Nathalie; Abate, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 51:Issue 16(2018) Page Start: 49 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Computational Methods in Systems Biology : 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings.: 18th International Conference, CMSB 2020, Konstanz, Germany, September 23-25, 2020, Proceedings. ([2020]) Other Names: Abate, Alessandro; Petrov, Tatjana; Wolf, Verena Record Type: Book Extent: 1 online resource View Content: Available online (eLD content is only available in our Reading Rooms) ↗
6. Computational techniques for reachability analysis of Max-Plus-Linear systems. (March 2015) Authors: Adzkiya, Dieky; De Schutter, Bart; Abate, Alessandro Journal: Automatica Issue: Volume 53(2015) Page Start: 293 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
7. Controller Synthesis for Probabilistic Safety Specifications using Observers*. Issue 27 (2015) Authors: Lesser, Kendra; Abate, Alessandro Journal: IFAC-PapersOnLine Issue: Volume 48:Issue 27(2015) Page Start: 329 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
8. Data-driven and model-based verification via Bayesian identification and reachability analysis. (May 2017) Authors: Haesaert, Sofie; Van den Hof, Paul M.J.; Abate, Alessandro Journal: Automatica Issue: Volume 79(2017) Page Start: 115 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
9. Design and analysis of a flow control scheme over wireless networks. (4th November 2011) Authors: Abate, Alessandro; Chen, Minghua; Wang, Yue; Zakhor, Avideh; Sastry, Shankar Journal: International journal of robust and nonlinear control Issue: Volume 23:Number 2(2013) Page Start: 208 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
10. Flux response of glycolysis and storage metabolism during rapid feast/famine conditions in Penicillium chrysogenum using dynamic 13C labeling. Issue 3 (4th December 2013) Authors: de Jonge, Lodewijk; Buijs, Nicolaas A. A.; Heijnen, Joseph J.; van Gulik, Walter M.; Abate, Alessandro; Wahl, S. Aljoscha Journal: Biotechnology journal Issue: Volume 9:Issue 3(2014:Mar.) Page Start: 372 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗