Pages that link to "Item:Q4561424"
From MaRDI portal
The following pages link to Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week) (Q4561424):
Displaying 28 items.
- Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness (Q4561425) (← links)
- Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems (Q4561426) (← links)
- From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes (Q4561427) (← links)
- Bisimulations, logics, and trace distributions for stochastic systems with rewards (Q4561429) (← links)
- Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices (Q4561431) (← links)
- Under-Approximating Reach Sets for Polynomial Continuous Systems (Q4561432) (← links)
- Accurate reachability analysis of uncertain nonlinear systems (Q4561433) (← links)
- Clock Allocation in Timed Automata and Graph Colouring (Q4561434) (← links)
- Model Checking Bounded Continuous-time Extended Linear Duration Invariants (Q4561435) (← links)
- A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing (Q4561440) (← links)
- Stabilizing switched nonlinear systems under restricted switching (Q4561441) (← links)
- Lyapunov Design for Event-Triggered Exponential Stabilization (Q4561442) (← links)
- Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems (Q4561443) (← links)
- ROCS (Q4561444) (← links)
- Constructing Control System Abstractions from Modular Components (Q4561445) (← links)
- Formal Guarantees in Data-Driven Model Identification and Control Synthesis (Q4561447) (← links)
- From Uncertainty Data to Robust Policies for Temporal Logic Planning (Q4561448) (← links)
- Specifying Timed Patterns using Temporal Logic (Q4561449) (← links)
- Efficient Parametric Identification for STL (Q4561450) (← links)
- Parameter Invariant Monitoring for Signal Temporal Logic (Q4561452) (← links)
- Localizing Faults in Simulink/Stateflow Models with STL (Q4561453) (← links)
- Algorithms for exact and approximate linear abstractions of polynomial continuous systems (Q4561454) (← links)
- State Estimation of Dynamical Systems with Unknown Inputs (Q4561455) (← links)
- Improving validated computation of Viability Kernels (Q4561456) (← links)
- Modeling the Impact of Vehicle Platooning on Highway Congestion (Q4561457) (← links)
- Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow (Q4561459) (← links)
- DSValidator (Q4561461) (← links)
- Formal Controller Synthesis from Hybrid Programs (Q4561462) (← links)
