Pages that link to "Item:Q6120655"
From MaRDI portal
The following pages link to Proceedings of the 24th International Conference on Hybrid Systems: Computation and Control (Q6120655):
Displayed 35 items.
- Adaptive parameter tuning for reachability analysis of nonlinear systems (Q6120656) (← links)
- Synthesizing ReLU neural networks with two hidden layers as barrier certificates for hybrid systems (Q6120657) (← links)
- Reachability analysis of deep ReLU neural networks using facet-vertex incidence (Q6120658) (← links)
- Stability analysis of complementarity systems with neural network controllers (Q6120660) (← links)
- Computing the sampling performance of event-triggered control (Q6120662) (← links)
- Quantizer design for switched linear systems with minimal data-rate (Q6120663) (← links)
- Path-dependent controller and estimator synthesis with robustness to delayed and missing data (Q6120665) (← links)
- AROC (Q6120666) (← links)
- FOSSIL (Q6120668) (← links)
- OmegaThreads (Q6120669) (← links)
- Hybrid modeling and predictive control of large-scale crowd movement in road network (Q6120672) (← links)
- A few lessons learned in reinforcement learning for quadcopter attitude control (Q6120677) (← links)
- Estimating infinitesimal generators of stochastic systems with formal error bounds (Q6120678) (← links)
- Formal safety verification of unknown continuous-time systems (Q6120679) (← links)
- Interval observer design of dynamical systems with neural networks (Q6120680) (← links)
- Epidemic overdispersion strengthens the effectiveness of mobility restrictions (Q6120681) (← links)
- Adaptive strategies for rLTL games (Q6120683) (← links)
- OmegaThreads (Q6120684) (← links)
- Filtering over networks with random communication (Q6120685) (← links)
- On-the-fly, data-driven reachability analysis and control of unknown systems (Q6120686) (← links)
- Topological entropy of switched nonlinear systems (Q6201578) (← links)
- Synthesis of hybrid automata with affine dynamics from time-series data (Q6201579) (← links)
- Switching controller synthesis for delay hybrid systems under perturbations (Q6201580) (← links)
- Compositional safety rules for inter-triggering hybrid automata (Q6201581) (← links)
- The computability of LQR and LQG control (Q6201582) (← links)
- Strategy synthesis for partially-known switched stochastic systems (Q6201583) (← links)
- Approximate optimal hybrid control synthesis by classification-based derivative-free optimization (Q6201586) (← links)
- Optimal mixed discrete-continuous planning for linear hybrid systems (Q6201587) (← links)
- From post-conditions to post-region invariants (Q6201588) (← links)
- A program logic to verify signal temporal logic specifications of hybrid systems (Q6201590) (← links)
- Verification and runtime assurance for dynamical systems with uncertainty (Q6201591) (← links)
- Model-based reinforcement learning for approximate optimal control with temporal logic specifications (Q6201592) (← links)
- Learning lyapunov functions for hybrid systems (Q6201594) (← links)
- Verifiably safe exploration for end-to-end reinforcement learning (Q6201597) (← links)
- On the decidability of reachability in continuous time linear time-invariant systems (Q6201599) (← links)