ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK

First Page		Document Content
Date: 2017-07-25 18:51:20 Complexity classes Differential equations Systems science Control theory Hybrid system Systems theory NL Reachability P Mathematics		ProbReach: Probabilistic Bounded Reachability for Uncertain Hybrid Systems Fedor Shmarov, Paolo Zuliani School of Computing Science, Newcastle University, UK Add to Reading List Source URL: www.cs.ox.ac.uk Download Document from Source Website File Size: 2,02 MB Share Document on Facebook

	LECTURE 2 Information theory for complex systems Stefan Thurner www.complex-systems.meduniwien.ac.at DocID: 1xVpK - View Document
	Group Henzinger Software Systems Theory Systems Biology Group members DocID: 1xV3x - View Document
	Theory of Computing Systems manuscript No. (will be inserted by the editor) Self-stabilizing Byzantine Clock Synchronization with Optimal Precision Pankaj Khanchandani · Christoph Lenzen DocID: 1xUPN - View Document
	Use Privacy in Data-Driven Systems Theory and Experiments with Machine Learnt Programs Anupam Datta CMU DocID: 1xUke - View Document
	1684 IEEE TRANSACTIONS ON CIRCUITS AND SYSTEMS—I: FUNDAMENTAL THEORY AND APPLICATIONS, VOL. 47, NO. 12, DECEMBER 2000 Performance Analysis of Correlation-Based Communication Schemes Utilizing Chaos DocID: 1voLf - View Document