From post

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed.

 

Другие публикации лиц с тем же именем

Simulating Hybrid Petri nets with general transitions and non-linear differential equations., , и . VALUETOOLS, стр. 88-95. ACM, (2020)A Smart Neighbourhood Simulation Tool for Shared Energy Storage and Exchange., , , , и . ASMTA, том 9845 из Lecture Notes in Computer Science, стр. 76-91. Springer, (2016)Analysis of a sewage treatment facility using hybrid Petri nets., , и . VALUETOOLS, стр. 165-174. ICST/ACM, (2013)Learning optimal decisions for stochastic hybrid systems., , и . MEMOCODE, стр. 44-55. ACM, (2021)Towards Safe and Resilient Hybrid Systems in the Presence of Learning and Uncertainty., , , и . ISoLA (1), том 13701 из Lecture Notes in Computer Science, стр. 299-319. Springer, (2022)A Modular Environment to Test SCADA Solutions for Wind Parks., и . MMB, том 10740 из Lecture Notes in Computer Science, стр. 262-272. Springer, (2018)Applying Mean-Field Approximation to Continuous Time Markov Chains., , , и . ROCKS, том 8453 из Lecture Notes in Computer Science, стр. 242-280. Springer, (2012)Model Checking HPnGs in Multiple Dimensions: Representing State Sets as Convex Polytopes., и . FORTE, том 11535 из Lecture Notes in Computer Science, стр. 148-166. Springer, (2019)RealySt: A C++ Tool for Optimizing Reachability Probabilities in Stochastic Hybrid Systems., , , и . VALUETOOLS, том 539 из Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, стр. 170-182. Springer, (2023)Shielded Learning for Resilience and Performance Based on Statistical Model Checking in Simulink., , , , и . AISoLA, том 14380 из Lecture Notes in Computer Science, стр. 94-118. Springer, (2023)