Pages that link to "Item:Q5146359"
From MaRDI portal
The following pages link to Proceedings of the 23rd International Conference on Hybrid Systems: Computation and Control (Q5146359):
Displaying 33 items.
- Utilizing dependencies to obtain subsets of reachable sets (Q5146360) (← links)
- Reachability analysis for hybrid systems with nonlinear guard sets (Q5146361) (← links)
- Dynamics-aware subspace identification for decomposed aggregation in the reachability analysis of hybrid automata (Q5146363) (← links)
- Worst-case topological entropy and minimal data rate for state observation of switched linear systems (Q5146364) (← links)
- Piece-wise analytic trajectory computation for polytopic switching between stable affine systems (Q5146365) (← links)
- AReN (Q5146366) (← links)
- From LTL to rLTL monitoring (Q5146368) (← links)
- Sufficient conditions for satisfaction of formulas with until operators in hybrid systems (Q5146369) (← links)
- Interpretable classification of time-series data using efficient enumerative techniques (Q5146371) (← links)
- Classic and non-prophetic model checking for hybrid Petri nets with stochastic firings (Q5146372) (← links)
- Falsification of cyber-physical systems with robustness-guided black-box checking (Q5146373) (← links)
- Statistical verification of learning-based cyber-physical systems (Q5146374) (← links)
- Conformance verification for neural network models of glucose-insulin dynamics (Q5146375) (← links)
- Symbolic controller synthesis for Büchi specifications on stochastic systems (Q5146376) (← links)
- On abstraction-based controller design with output feedback (Q5146377) (← links)
- Compositional synthesis via a convex parameterization of assume-guarantee contracts (Q5146379) (← links)
- dtControl (Q5146381) (← links)
- A computable and compositional semantics for hybrid automata (Q5146382) (← links)
- Does sample-time emulation preserve exponential stability? (Q5146383) (← links)
- Implicit structural analysis of multimode DAE systems (Q5146386) (← links)
- Local lipschitzness of reachability maps for hybrid systems with applications to safety (Q5146387) (← links)
- Compositional construction of control barrier functions for interconnected control systems (Q5146388) (← links)
- A simple hierarchy for computing controlled invariant sets (Q5146389) (← links)
- Robust output feedback control with guaranteed constraint satisfaction (Q5146390) (← links)
- Synthesizing barrier certificates using neural networks (Q5146391) (← links)
- A deontic logic analysis of autonomous systems' safety (Q5146393) (← links)
- Formal verification of braking while swerving in automobiles (Q5146396) (← links)
- Case study (Q5146397) (← links)
- Convergence of ant colony multi-agent swarms (Q5146398) (← links)
- dtControl (Q5146399) (← links)
- AMYTISS (Q5146400) (← links)
- Inter-triggering hybrid automata (Q5146401) (← links)
- Resilient abstraction-based controller design (Q5146403) (← links)
