Entity usage

Showing below up to 41 results in range #1 to #41.

1. Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: Label: en
2. Equalized recovery: Weakening invariance for control and estimation: Label: en
3. Encrypted control system with quantizer: Label: en
4. Moore-machine filtering for timed and untimed pattern matching: Label: en
5. Structured reward functions using STL: Label: en
6. Invariant, viability and discriminating kernel under-approximation via zonotope scaling: Label: en
7. Predictive monitoring for signal temporal logic with probabilistic guarantees: Label: en
8. SReachTools: A MATLAB stochastic reachability toolbox: Label: en
9. Sherlock - A tool for verification of neural network feedback systems: Label: en
10. Formal methods for computing hyperbolic invariant sets for nonlinear systems: Label: en
11. StocHy - automated verification and synthesis of stochastic processes: Label: en
12. pFaces: Label: en
13. Efficiency through uncertainty: Label: en
14. Mixed-integer formulations for optimal control of piecewise-affine systems: Label: en
15. TIRA: Label: en
16. Evrostos: Label: en
17. Verification and synthesis of interconnected embedded control systems under timing contracts: Label: en
18. Formal verification of weakly-hard systems: Label: en
19. A new simulation metric to determine safe environments and controllers for systems with unknown dynamics: Label: en
20. Gray-box adversarial testing for control systems with machine learning components: Label: en
21. Verisig: Label: en
22. Reachability analysis for neural feedback systems using regressive polynomial rule inference: Label: en
23. Formal verification of neural network controlled autonomous systems: Label: en
24. A complete characterization of the ordering of path-complete methods: Label: en
25. Robust invariant sets generation for state-constrained perturbed polynomial systems: Label: en
26. On topological entropy and stability of switched linear systems: Label: en
27. Characterizations of safety in hybrid inclusions via barrier functions: Label: en
28. Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT: Label: en
29. On the decidability of linear bounded periodic cyber-physical systems: Label: en
30. On the decidability of reachability in linear time-invariant systems: Label: en
31. Revisiting timed logics with automata modalities: Label: en
32. Interface-aware signal temporal logic: Label: en
33. Temporal logic robustness for general signal classes: Label: en
34. JuliaReach: Label: en
35. SReachTools: Label: en
36. Numerical verification of affine systems with up to a billion dimensions: Label: en
37. Inner and outer reachability for the verification of control systems: Label: en
38. Falsification of hybrid systems using symbolic reachability and trajectory splicing: Label: en
39. Relational differential dynamic logic: Label: en
40. Safety characterization in hybrid inclusions using barrier functions: Label: en
41. Safety control with preview automaton: Label: en