Found 12 Documents (Results 1–12)
Finite approximation of LMPs for exact verification of reachability properties. (English) Zbl 1537.68091
Parker, David (ed.) et al., Quantitative evaluation of systems. 16th international conference, QEST 2019, Glasgow, UK, September 10–12, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11785, 70-87 (2019).
Bounded verification of reachability of probabilistic hybrid systems. (English) Zbl 1514.68139
McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 240-256 (2018).
Discrete-time hybrid control in Borel spaces: average cost optimality criterion. (English) Zbl 1386.93309
Error estimates for second order Hamilton-Jacobi-Bellman equations. Approximation of probabilistic reachable sets. (English) Zbl 1332.65133
A stochastic games framework for verification and control of discrete time stochastic hybrid systems. (English) Zbl 1364.93857
A stochastic reach-avoid problem with random obstacles. (English) Zbl 1364.93870
Proceedings of the 14th ACM international conference on hybrid systems: computation and control, HSCC 2011, Chicago, IL, USA, April 12–14, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0629-4). 251-260 (2011).
On the connections between PCTL and dynamic programming. (English) Zbl 1361.68150
Proceedings of the 13th ACM international conference on hybrid systems: computation and control, HSCC 2010, Stockholm, Sweden, April 12–16, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-955-8). 253-262 (2010).
Engineering constraint solvers for automatic analysis of probabilistic hybrid automata. (English) Zbl 1205.68252
Safe and secure networked control systems under denial-of-service attacks. (English) Zbl 1237.90054
Majumdar, Rupak (ed.) et al., Hybrid systems: Computation and control. 12th international conference, HSCC 2009, San Francisco, CA, USA, April 13–15, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00601-2/pbk). Lecture Notes in Computer Science 5469, 31-45 (2009).
Filter Results by …
Document Type
- Journal Articles (7)
- Collection Articles (5)
all
top 5
Author
- Lygeros, John (4)
- Abate, Alessandro (3)
- Summers, Sean (3)
- Jasso-Fuentes, Héctor (2)
- Kamgarpour, Maryam (2)
- Menaldi, Jose-Luis (2)
- Prieto-Rumeau, Tomás (2)
- Sastry, S. Shankar (2)
- Tomlin, Claire J. (2)
- Amin, Saurabh (1)
- Assellaou, Mohamed (1)
- Bokanowski, Olivier (1)
- Cárdenas, Alvaro A. (1)
- Chatterjee, Debasish (1)
- Desharnais, Josée (1)
- Ding, Jerry (1)
- Eggers, Andreas (1)
- Fränzle, Martin (1)
- Kouko, Gildas (1)
- Lal, Ratan (1)
- Lavaei, Abolfazl (1)
- Laviolette, François (1)
- Prabhakar, Pavithra (1)
- Prandini, Maria (1)
- Ramponi, Federico Alessandro (1)
- Robin, Maurice (1)
- Soudjani, Sadegh (1)
- Teige, Tino (1)
- Zamani, Majid (1)
- Zidani, Hasnaa (1)
Serial
all
top 3
Software
- MathSAT (2)
- PRISM (2)
- ProbReach (2)
- SReach (2)
- ToolboxLS (2)
- ABsolver (1)
- AMYTISS (1)
- CEGAR (1)
- FAUST2 (1)
- HSolver (1)
- HySAT (1)
- HyTech (1)
- MATISSE (1)
- MathSAT5 (1)
- Modelica (1)
- OmegaThreads (1)
- PHAVer (1)
- RSOLVER (1)
- SCOTS (1)
- SReachTools (1)
- SYMBA (1)
- SeDuMi (1)
- Sostools (1)
- StocHy (1)
- Storm (1)
- Uppaal Stratego (1)
- fast_mpc (1)
- pFaces (1)
- vZ (1)
- z3 (1)