Model repair for probabilistic systems
DOI10.1007/978-3-642-19835-9_30zbMATH Open1316.68070OpenAlexW1574505635MaRDI QIDQ3000664FDOQ3000664
Authors: Ezio Bartocci, Radu Grosu, C. R. Ramakrishnan, Scott A. Smolka, Panagiotis Katsaros
Publication date: 19 May 2011
Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-642-19835-9_30
Recommendations
Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Nonlinear programming (90C30) Specification and verification (program logics, model checking, etc.) (68Q60)
Cites Work
- Algorithm 852
- Theoretical Aspects of Computing - ICTAC 2004
- A logic for reasoning about time and reliability
- Enhancing model checking in verification by AI techniques
- Stochastic model checking
- Computer Aided Verification
- Vacuity checking in the modal mu-calculus
- Parametric probabilistic transition systems for system design and analysis
Cited In (60)
- Parameter synthesis for Markov models: covering the parameter space
- A Multi-level Refinement Approach for Structural Synthesis of Optimal Probabilistic Models
- Abstraction-Refinement for Hierarchical Probabilistic Models
- Rate lifting for stochastic process algebra -- exploiting structural properties
- Rate lifting for stochastic process algebra by transition context augmentation
- Incremental Verification of Parametric and Reconfigurable Markov Chains
- Parameter-Independent Strategies for pMDPs via POMDPs
- Parameter synthesis in Markov models: a gentle survey
- Counterexample-driven synthesis for probabilistic program sketches
- Flowpipe approximation and clustering in space-time
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Counterexample-guided inductive synthesis for probabilistic systems
- Limited-information control of hybrid systems via reachable set propagation
- Smoothed model checking for uncertain continuous-time Markov chains
- Automation of fault-tolerant graceful degradation
- Clock bound repair for timed systems
- The complexity of reachability in parametric Markov decision processes
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Automated analysis of real-time scheduling using graph games
- Safe schedulability of bounded-rate multi-mode systems
- On the Complexity of Reachability in Parametric Markov Decision Processes
- The Complexity of Linear-Time Temporal Logic Model Repair
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Control design for specifications on stochastic hybrid systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Solving systems of bilinear equations for transition rate reconstruction
- Fine-tuning the odds in Bayesian networks
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Are parametric Markov chains monotonic?
- Sequential convex programming for the efficient verification of parametric MDPs
- Gradient-descent for randomized controllers under partial observability
- Deniable Functional Encryption
- Synthesizing optimal bias in randomized self-stabilization
- On the decidability of stability of hybrid systems
- Inductive synthesis for probabilistic programs reaches new horizons
- System design of stochastic models using robustness of temporal properties
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Change-Preserving Model Repair
- Compositional heterogeneous abstraction
- One-shot computation of reachable sets for differential games
- Resilient synchronization in robust networked multi-agent systems
- Rewarding probabilistic hybrid automata
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- Two AGM-style characterizations of model repair
- Bounded model-checking of discrete duration calculus
- Abstract model repair for probabilistic systems
- Mining requirements from closed-loop control models
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- Temporal logic model predictive control for discrete-time systems
- Quantitative timed simulation functions and refinement metrics for real-time systems
- It Sometimes Works: A Lifting Algorithm for Repair of Stochastic Process Algebra Models
- Least-violating control strategy synthesis with safety rules
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
Uses Software
This page was built for publication: Model repair for probabilistic systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3000664)