On fixed points of strictly causal functions
From MaRDI portal
Recommendations
- The fixed-point theory of strictly causal functions
- Strictly causal functions have a unique fixed point
- Feedback, trace and fixed-point semantics
- The fixed-point theory of strictly contracting functions on generalized ultrametric semilattices
- Causality of general input-output systems and extended small-gain theorem for their feedback connection
Cited in
(37)- Strictly causal functions have a unique fixed point
- Causality between stopped filtrations and some applications
- The fixed-point theory of strictly causal functions
- 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
- HYST: a source transformation and translation tool for hybrid automaton models
- ProbReach: verified probabilistic delta-reachability for stochastic hybrid systems
- 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: a novel spatial-temporal logic and its applications to networked systems
- 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
- On a class of non-causal triangle functions
- Temporal logic control for stochastic linear systems using abstraction refinement of probabilistic games
- Specification and verification of concurrent systems by causality and realizability
- Timing is all you need
- A calculus for the specification, design, and verification of distributed concurrent systems
This page was built for publication: On fixed points of strictly causal functions
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2842670)
