Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by Sergio Yovine
Algorithmic Analysis of Polygonal Hybrid Systems, Part I: Reachability
Theoretical Computer Science
Computer Science
Theoretical Computer Science
Related publications
Reachability Analysis of Hybrid Systems via Predicate Abstraction
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
Probabilistic Reachability Analysis for Large Scale Stochastic Hybrid Systems
Avoiding Geometric Intersection Operations in Reachability Analysis of Hybrid Systems
Analysis of Lactose Metabolism in E.coli Using Reachability Analysis of Hybrid Systems
IET Systems Biology
Genetics
Cell Biology
Molecular Biology
Simulation
Modeling
Biotechnology
ProbReach: A Tool for Guaranteed Reachability Analysis of Stochastic Hybrid Systems
Reachability Analysis of Communicating Pushdown Systems
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
Downlink Transmission of Broadband OFCDM Systems—Part I: Hybrid Detection
IEEE Transactions on Communications
Electronic Engineering
Electrical
Optimal Time-Bounded Reachability Analysis for Concurrent Systems
Lecture Notes in Computer Science
Computer Science
Theoretical Computer Science
O-Minimal Hybrid Reachability Games
Logical Methods in Computer Science
Computer Science
Theoretical Computer Science
