122 results on '"Sergiy Bogomolov"'
Search Results
2. Falsification using Reachability of Surrogate Koopman Models.
3. Safe Reach Set Computation via Neural Barrier Certificates.
4. AutoKoopman: A Toolbox for Automated System Identification via Koopman Operator Linearization.
5. Online Reachability Analysis and Space Convexification for Autonomous Racing.
6. Runtime Assurance for Autonomous Driving with Neural Reachability.
7. Data-Driven Reachability Analysis of Digital Twin FMI Models.
8. Reachability of Koopman Linearized Systems Using Random Fourier Feature Observables and Polynomial Zonotope Refinement.
9. Reachability Analysis and Simulation for Hybridised Event-B Models.
10. Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization.
11. Reachability Analysis of Nonlinear Systems Using Hybridization and Dynamics Scaling.
12. Case Study: Reachability and Scalability in a Unified Combat-Command-and-Control Model.
13. JuliaReach: a toolbox for set-based reachability.
14. Falsification of hybrid systems using symbolic reachability and trajectory splicing.
15. Temporal Planning as Refinement-Based Model Checking.
16. Reachability Analysis of Linear Hybrid Systems via Block Decomposition.
17. Safety Verification for Random Ordinary Differential Equations.
18. A Refinement-based Formal Development of Cyber-physical Railway Signalling Systems.
19. Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices.
20. Effect-Abstraction Based Relaxation for Linear Numeric Planning.
21. Parallel reachability analysis of hybrid systems in XSpeed.
22. Hybrid automata: from verification to implementation.
23. Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters.
24. Time-Triggered Conversion of Guards for Reachability Analysis of Hybrid Automata.
25. Conic Abstractions for Hybrid Systems.
26. Challenges and Tool Implementation of Hybrid Rapidly-Exploring Random Trees.
27. Counterexample-Guided Refinement of Template Polyhedra.
28. Decomposing reach set computations with low-dimensional sets and high-dimensional matrices (extended version).
29. Scalable Static Hybridization Methods for Analysis of Nonlinear Systems.
30. Discrete Abstraction of Multiaffine Systems.
31. Verification of Fault-Tolerant Clock Synchronization Algorithms.
32. High-level Hybrid Systems Analysis with Hypy.
33. Tutorial: Software tools for hybrid systems verification, transformation, and synthesis: C2E2, HyST, and TuLiP.
34. Parallel reachability analysis for hybrid systems.
35. Reachability analysis of linear hybrid systems via block decomposition.
36. Adaptive Moment Closure for Parameter Inference of Biochemical Reaction Networks.
37. HYST: a source transformation and translation tool for hybrid automaton models.
38. Eliminating spurious transitions in reachability with support functions.
39. Abstraction-Based Parameter Synthesis for Multiaffine Systems.
40. XSpeed: Accelerating Reachability Analysis on Multi-core Processors.
41. PDDL+ Planning with Hybrid Automata: Foundations of Translating Must Behavior.
42. Benchmark Generator for Stratified Controllers of Tank Networks.
43. Runtime Verification for Hybrid Analysis Tools.
44. Adaptive moment closure for parameter inference of biochemical reaction networks.
45. Symbolic-Numeric Methods for Problem Solving in CPS (Dagstuhl Seminar 16491).
46. Guided search for hybrid systems based on coarse-grained space abstractions.
47. Quasi-dependent variables in hybrid automata.
48. Assume-Guarantee Abstraction Refinement Meets Hybrid Systems.
49. Planning as Model Checking in Hybrid Domains.
50. Abstraction-Based Guided Search for Hybrid Systems.
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.