On Fixed Points of Strictly Causal Functions

DOI10.1007/978-3-642-40229-6_13zbMath1318.68114OpenAlexW2123738574MaRDI QIDQ2842670

Eleftherios Matsikoudis, Edward A. Lee

Publication date: 16 August 2013

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_13

Mathematics Subject Classification ID

Related Items (32)

HYST ⋮ ProbReach ⋮ Specification and verification of concurrent systems by causality and realizability ⋮ A viability approach for fast recursive feasible finite horizon path planning of autonomous RC cars ⋮ Reach-avoid problems with time-varying dynamics, targets and constraints ⋮ An improved algorithm for robust safety analysis of sampled data systems ⋮ What's decidable about recursive hybrid automata? ⋮ Bounded-rate multi-mode systems based motion planning ⋮ A sufficient condition for the boundedness of matrix products accepted by an automaton ⋮ Efficient finite abstraction of mixed monotone systems ⋮ Compositional construction of approximate abstractions ⋮ Computing bisimulation functions using SOS optimization and δ -decidability over the reals ⋮ Probabilistic diagnosability of hybrid systems ⋮ Dynamic scheduling for networked control systems ⋮ Closed loop analysis of control command software ⋮ Real-time control under clock offsets between sensors and controllers ⋮ A delta-sampling verification theorem for discrete-time, possibly discontinuous systems ⋮ Eliminating spurious transitions in reachability with support functions ⋮ Finite state approximation for verification of partially observable stochastic hybrid systems ⋮ Statistical verification of dynamical systems using set oriented methods ⋮ Requirements for hybrid cosimulation standards ⋮ SpaTeL ⋮ Computing the Skorokhod distance between polygonal traces ⋮ First steps toward formal controller synthesis for bipedal robots ⋮ Vulnerability analysis of dynamical power networks to stochastic link failure attacks ⋮ Temporal logic motion planning using POMDPs with parity objectives ⋮ Reactive synthesis from signal temporal logic specifications ⋮ Estimator-based reactive synthesis under incomplete information ⋮ Cross-entropy temporal logic motion planning ⋮ Stability and stabilization of polynomial dynamical systems using Bernstein polynomials ⋮ The fixed-point theory of strictly causal functions ⋮ Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games

This page was built for publication: On Fixed Points of Strictly Causal Functions