Author:
Hermanns Holger,Krčál Jan,Nies Gilles
Publisher
Springer International Publishing
Reference33 articles.
1. Abate, A., Prandini, M., Lygeros, J., Sastry, S.: Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems. Automatica 44(11), 2724–2734 (2008)
2. Altman, E., Gaitsgory, V.: Asymptotic optimization of a nonlinear hybrid system governed by a markov decision process. SIAM J. Control Optim. 35(6), 2070–2085 (1997)
3. Aydin, H., Mejía-Alvarez, P., Mossé, D., Melhem, R.G.: Dynamic and aggressive scheduling techniques for power-aware real-time systems. IEEE RTSS 2001, 95–105 (2001)
4. Lecture Notes in Control and Information Sciences;HA Blom,2006
5. Boker, U., Henzinger, T.A., Radhakrishna, A.: Battery transition systems. In: POPL, pp. 595–606. ACM (2014)
Cited by
8 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Learning optimal decisions for stochastic hybrid systems;Proceedings of the 19th ACM-IEEE International Conference on Formal Methods and Models for System Design;2021-11-20
2. Simulating Hybrid Petri nets with general transitions and non-linear differential equations;Proceedings of the 13th EAI International Conference on Performance Evaluation Methodologies and Tools;2020-05-18
3. HPnGs go Non-Linear: Statistical Dependability Evaluation of Battery-Powered Systems;2018 IEEE 26th International Symposium on Modeling, Analysis, and Simulation of Computer and Telecommunication Systems (MASCOTS);2018-09
4. Bounded Verification of Reachability of Probabilistic Hybrid Systems;Quantitative Evaluation of Systems;2018
5. Student Research Paper: Evaluation of the Dependability of Critical Infrastructures Using Hybrid Petri Nets with Random Variables and Stochastic Simulation;2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W);2017-06