Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Derek Riley
Safety Analysis of Sugar Cataract Development Using Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Related publications
Modelling and Analysis of the Sugar Cataract Development Process Using Stochastic Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
Specification and Analysis of Distributed Object-Based Stochastic Hybrid Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Stochastic Hybrid Systems for Studying Biochemical Processes
Philosophical Transactions of the Royal Society A: Mathematical, Physical and Engineering Sciences
Mathematics
Engineering
Astronomy
Physics
Stability of Hybrid Stochastic Systems With Time-Delay
ISRN Mathematical Analysis
Modeling and Analysis of Wireless Cyberphysical Systems Using Stochastic Methods
Wireless Communications and Mobile Computing
Computer Networks
Electronic Engineering
Information Systems
Electrical
Communications
A Calculus of Stochastic Systems for the Specification, Simulation, and Hidden State Estimation of Hybrid Stochastic/Non-Stochastic Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Some Remarks on Stabilizability of Linear Stochastic Hybrid Systems
IFAC Proceedings Volumes
