scientific article; zbMATH DE number 1507210
From MaRDI portal
Publication:4503930
zbMath0959.68073MaRDI QIDQ4503930
Publication date: 6 December 2000
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (only showing first 100 items - show all)
Convolution as a Unifying Concept ⋮ Skill-Based Verification of Cyber-Physical Systems ⋮ Compactness in the Theory of Continuous Automata ⋮ Transformations for Compositional Verification of Assumption-Commitment Properties ⋮ Crossing the Bridge between Similar Games ⋮ Rigorous Discretization of Hybrid Systems Using Process Calculi ⋮ Model Checking Real-Time Systems ⋮ Verification of Hybrid Systems ⋮ Hybrid Automata as Coalgebras ⋮ Model Checking of Biological Systems ⋮ Geometric Model Checking of Continuous Space ⋮ HYPE: A Process Algebra for Compositional Flows and Emergent Behaviour ⋮ Automated Reasoning for Hybrid Systems — Two Case Studies — ⋮ Verification Modulo theories ⋮ Simulation relations and applications in formal methods ⋮ T4V: exploring neural network architectures that improve the scalability of neural network verification ⋮ Verifying Switched System Stability With Logic ⋮ Bounded model checking for interval probabilistic timed graph transformation systems against properties of probabilistic metric temporal graph logic ⋮ Synthesis of parametric hybrid automata from time series ⋮ 3D hybrid cellular automata for cardiac electrophysiology: a concept study ⋮ Synthesis of hybrid automata with affine dynamics from time-series data ⋮ Approximate optimal hybrid control synthesis by classification-based derivative-free optimization ⋮ A program logic to verify signal temporal logic specifications of hybrid systems ⋮ Continuity of Thresholded Mode-Switched ODEs and Digital Circuit Delay Models ⋮ Diagnosability of Discrete Faults with Uncertain Observations ⋮ Abstractions Refinement for Hybrid Systems Diagnosability Analysis ⋮ Diagnosis of Hybrid Systems Using Structural Model Decomposition ⋮ Sampled-Data Event Control of Hybrid Systems for Control Specifications Given by Predicates ⋮ Unnamed Item ⋮ Game-based Synthesis of Distributed Controllers for Sampled Switched Systems ⋮ Unnamed Item ⋮ Compositional analysis for linear control systems ⋮ On integration of event-based estimation and robust MPC in a feedback loop ⋮ From synchronous programs to symbolic representations of hybrid systems ⋮ A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems ⋮ Timed automata with observers under energy constraints ⋮ Real-time scheduling of mixture-of-experts systems with limited resources ⋮ On a control algorithm for time-varying processor availability ⋮ Timed I/O automata ⋮ Receding horizon control for temporal logic specifications ⋮ Synthesis using approximately bisimilar abstractions ⋮ Oscillation analysis of linearly coupled piecewise affine systems ⋮ On infinity norms as Lyapunov functions for piecewise affine systems ⋮ Identifiability of discrete-time linear switched systems ⋮ Rank properties of poincare maps for hybrid systems with applications to bipedal walking ⋮ Stealthy deception attacks on water SCADA systems ⋮ Comparison of overapproximation methods for stability analysis of networked control systems ⋮ Distributed Kalman Filter algorithms for self-localization of mobile devices ⋮ Convergence results for ant routing algorithms viastochastic approximation ⋮ Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems ⋮ Automatic invariant generation for hybrid systems using ideal fixed points ⋮ Safe compositional network sketches ⋮ Bayesian statistical model checking with application to Simulink/Stateflow verification ⋮ On the connections between PCTL and dynamic programming ⋮ Modeling and verification of stochastic hybrid systems using HIOA ⋮ A generating function approach to the stability of discrete-time switched linear systems ⋮ Stabilization of planar switched linear systems using polar coordinates ⋮ Amir Pnueli and the dawn of hybrid systems ⋮ Decidable Compositions of O-Minimal Automata ⋮ HYPE Applied to the Modelling of Hybrid Biological Systems ⋮ Approximate Verification of the Symbolic Dynamics of Markov Chains ⋮ Formal language properties of hybrid systems with strong resets ⋮ Topologies, Continuity and Bisimulations ⋮ Modelling of Complex Software Systems: A Reasoned Overview ⋮ Analysis of Linear Hybrid Systems in CLP ⋮ Direct Formal Verification of Liveness Properties in Continuous and Hybrid Dynamical Systems ⋮ Property Driven Three-Valued Model Checking on Hybrid Automata ⋮ Proving the Correctness of the Implementation of a Control-Command Algorithm ⋮ Approximated Reachability on Hybrid Automata: Falsification meets Certification ⋮ Modelling and analysing neural networks using a hybrid process algebra ⋮ Some problems of analysis of hybrid automata ⋮ Optimizing reachability probabilities for a restricted class of stochastic hybrid automata via flowpipe-construction ⋮ Continuity controlled hybrid automata ⋮ Linearization of hybrid processes ⋮ Syntax and consistent equation semantics of hybrid Chi ⋮ Taming the complexity of biochemical models through bisimulation and collapsing: theory and practice ⋮ Dynamic-model-based switched proportional-integral state observer design and traffic density estimation for urban freeway ⋮ Model measuring for discrete and hybrid systems ⋮ A model of systems with modes and mode transitions ⋮ Integrating formal specifications into applications: the ProB Java API ⋮ Towards an Algebra for Real-Time Programs ⋮ Diagnosability of fair transition systems ⋮ When are stochastic transition systems tameable? ⋮ On the expressiveness and decidability of o-minimal hybrid systems ⋮ Denotational semantics of hybrid automata ⋮ Stability and robustness of planar switching linear systems ⋮ A compositional modelling and verification framework for stochastic hybrid systems ⋮ Abstraction based verification of stability of polyhedral switched systems ⋮ Verification and Control of Probabilistic Rectangular Hybrid Automata ⋮ Deciding Concurrent Planar Monotonic Linear Hybrid Systems ⋮ Formal Modelling, Analysis and Verification of Hybrid Systems ⋮ Hybrid automata-based CEGAR for rectangular hybrid systems ⋮ CGMurphi: automatic synthesis of numerical controllers for nonlinear hybrid systems ⋮ Reachability and connectivity queries in constraint databases ⋮ Low dimensional hybrid systems -- decidable, undecidable, don't know ⋮ Modular discrete time approximations of distributed hybrid automata ⋮ Modeling for supervisor synthesis -- a lock-bridge combination case study ⋮ Refinements of behavioural abstractions for the supervisory control of hybrid systems ⋮ Collaborative models for autonomous systems controller synthesis ⋮ Cyber-physical systems
This page was built for publication:
