Satisfiability of Viability Constraints for Pfaffian Dynamics

DOI10.1007/978-3-540-70881-0_23MaRDI QIDQ3401952zbMATH OpenOpenAlexFDO

Authors M. V. Korovina, Nicolai Vorobjov

Publication date 2 February 2010

Published in Perspectives of Systems Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-70881-0_23

Mathematics Subject Classification ID

Symbolic dynamics (37B10) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Viability solutions to structured Hamilton-Jacobi equations under constraints
• Viability for constrained stochastic differential equations
• scientific article; zbMATH DE number 1530946
• The viability kernel of dynamical systems with mixed constraints: a level-set approach
• Viability, invariance and applications
• Necessary and sufficient conditions for viability for nonlinear evolution inclusions
• Construction of a viability kernel for a generalized dynamical system
• Viability Problems for Nonautonomous Differential Inclusions
• Viability theorems and an application
• On the Solvability of the Constrained Lyapunov Problem

Cited in

(2)

• Computing combinatorial types of trajectories in Pfaffian dynamics
• On the validity of the vakonomic model and the Chetaev model for constraint dynamical systems

This page was built for publication: Satisfiability of Viability Constraints for Pfaffian Dynamics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3401952)