40.2k citations
- Max Planck SocietyDE68 papers
- University of OxfordGB25 papers
- Centre National de la Recherche ScientifiqueFR24 papers
- Saarland UniversityDE17 papers
- University of CambridgeGB12 papers
- ETH ZurichCH11 papers
- IMDEA Software InstituteES10 papers
- Indian Institute of Technology KharagpurIN10 papers
- University of California, Los AngelesUS10 papers
- Max Planck Institute for InformaticsDE9 papers
- National University of SingaporeSG9 papers
- Newcastle UniversityGB9 papers
Showing 2015 · eess.SYShow all
3 papers · 2 filters
eess.SY2015
Dynamic Bayesian Networks as Formal Abstractions of Structured Stochastic Processes
Sadegh Esmaeil Zadeh Soudjani, Alessandro Abate, Rupak Majumdar
We study the problem of finite-horizon probabilistic invariance for discrete-time Markov processes over general (uncountable) state spaces. We compute discrete-time, finite-state M…
eess.SY2015★ 1 cited
Quantifying Conformance using the Skorokhod Metric (full version)
Jyotirmoy V. Deshmukh, Rupak Majumdar, Vinayak S. Prabhu
The conformance testing problem for dynamical systems asks, given two dynamical models (e.g., as Simulink diagrams), whether their behaviors are "close" to each other. In the semi-…
eess.SY2015★ 2 cited
Comparing Asynchronous -Complete Approximations and Quotient Based Abstractions
Anne-Kathrin Schmuck, Paulo Tabuada, Jörg Raisch
This paper is concerned with a detailed comparison of two different abstraction techniques for the construction of finite state symbolic models for controller synthesis of hybrid s…