scientific article; zbMATH DE number 2080065
From MaRDI portal
Publication:4472258
zbMATH Open1043.68592MaRDI QIDQ4472258FDOQ4472258
Authors: Elsa Gunter, Doron Peled 
Publication date: 4 August 2004
Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2280/22800431.htm
Title of this publication is not available (Why is that?)
Recommendations
- scientific article; zbMATH DE number 2090570
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- scientific article; zbMATH DE number 3932379
- Temporal logic in specification. Altrincham, UK, April 8-10, 1987. Proceedings
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cited In (41)
- Flowpipe approximation and clustering in space-time
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Limited-information control of hybrid systems via reachable set propagation
- 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
- The use of erratic behavior templates in debugging parallel programs by the automated validity verification method
- Title not available (Why is that?)
- Title not available (Why is that?)
- ENFORCING CONCURRENT TEMPORAL BEHAVIORS
- 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
- Verifying concurrent systems with symbolic execution. Temporal reasoning is symbolic execution with a little induction.
- Declarative Diagnosis of Temporal Concurrent Constraint Programs
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- Development of a debugger for a concurrent language
- 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
- On the decidability of stability of hybrid systems
- Title not available (Why is that?)
- 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
- Debugging process algebra specifications
- 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
- Semi-formal cycle-accurate temporal execution traces reconstruction
- Bounded model-checking of discrete duration calculus
- 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
- Least-violating control strategy synthesis with safety rules
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4472258)
