Viability theory

The Problem of Survivability on Functional-Differential Inclusions

Cybernetics and Systems Analysis

Weak Tangency, Weak Invariance, and Carathéodory Mappings

Journal of Dynamical and Control Systems

Learning Equilibrium Play: A Myopic Approach

Computational Optimization and Applications

Approximate Invariance and Differential Inclusions in Hilbert Spaces

Journal of Dynamical and Control Systems

Oleinik-Lax formulas and multitime Hamilton-Jacobi systems

Nonlinear Analysis: Theory, Methods & Applications

Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications

HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control

The Substratum of Impulse and Hybrid Control Systems

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Path-Dependent Impulse and Hybrid Systems

HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control

Hybrid Kernels and Capture Basins for Impulse Constrained Systems

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control

Guaranteed Overapproximations of Unsafe Sets for Continuous and Hybrid Systems: Solving the Hamilton-Jacobi Equation Using Viability Techniques

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control

Dynamical Qualitative Analysis of Evolutionary Systems

HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control

Evaluation of Crisis, Reversibility, Alert Management for Constrained Dynamical Systems Using Impulse Dynamical Systems

NMA '02 Revised Papers from the 5th International Conference on Numerical Methods and Applications

Optimal Control of Hybrid Systems with an Infinite Set of Discrete States

Journal of Dynamical and Control Systems

An Abstract Confinement Problem: A Programmed Iterations Method of Solution

Automation and Remote Control

Adaptive evolution of complex systems under uncertain environmental constraints: a viability approach

Formal descriptions of developing systems

Convergent approximate solving of first-order constraints by approximate quantifiers

ACM Transactions on Computational Logic (TOCL)

Coordinated Control of Networked Vehicles: An Autonomous Underwater System

Automation and Remote Control

Computing invariance kernels of polygonal hybrid systems

Nordic Journal of Computing

Dynamical Behaviors of Delayed Neural Network Systems with Discontinuous Activation Functions

Neural Computation

An anti-diffusive scheme for viability problems

Applied Numerical Mathematics - Numerical methods for viscosity solutions and applications

Continuity and computability of reachable sets

Theoretical Computer Science

Stochastic Approximations and Differential Inclusions, Part II: Applications

Mathematics of Operations Research

Approximate bisimulation relations for constrained linear systems

Automatica (Journal of IFAC)

Almost periodic dynamics of a class of delayed neural networks with discontinuous activations

Neural Computation

Resolution of the Transport equation subject to constraint

Journal of Computational and Applied Mathematics

Solutions to Switched Hamilton-Jacobi Equations and Conservation Laws Using Hybrid Components

HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control

Stochastic optimal control of ultradiffusion processes with application to dynamic portfolio management

Journal of Computational and Applied Mathematics

The Construction of Differential Inclusions with Prescribed Attainable Sets

Journal of Dynamical and Control Systems

Conditional visuomotor learning and viability theory

IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence

Feasibility sets of nonlinear strategies in scalarizable robust transfer problem

ISC '07 Proceedings of the 10th IASTED International Conference on Intelligent Systems and Control

Feasibility in finite time

Journal of Dynamical and Control Systems

Enaction-Based Artificial Intelligence: Toward Co-evolution with Humans in the Loop

Minds and Machines

Adaptation, anticipation and rationality in natural and artificial systems: computational paradigms mimicking nature

Natural Computing: an international journal

Viability-based computation of spatially constrained minimum time trajectories for an autonomous underwater vehicle: implementation and experiments

ACC'09 Proceedings of the 2009 conference on American Control Conference

A method to construct viability kernels for nonlinear control systems

ACC'09 Proceedings of the 2009 conference on American Control Conference

On the connections between PCTL and dynamic programming

Proceedings of the 13th ACM international conference on Hybrid systems: computation and control

Impulse differential inclusions driven by discrete measures

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

Viability-based computations of solutions to the Hamilton-Jacobi-Bellman equation

HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control

Optimal extended optical flow subject to a statistical constraint

Journal of Computational and Applied Mathematics

Approximate stabilisation of uncertain hybrid systems

HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control

Dynamical behavior of a class of nonsmooth gradient-like systems

Neurocomputing

Nonnegative periodic dynamics of delayed Cohen-Grossberg neural networks with discontinuous activations

Neurocomputing

Describing the Result of a Classifier to the End-User: Geometric-based Sensitivity

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence

Invariance kernel of Biological Regulatory Networks

International Journal of Data Mining and Bioinformatics

Functional blueprints: an approach to modularity in grown systems

ANTS'10 Proceedings of the 7th international conference on Swarm intelligence

Optimal extended optical flow and statistical constraints: A result of convergence

Journal of Computational and Applied Mathematics

Optimal Control under Stochastic Target Constraints

SIAM Journal on Control and Optimization

Preasymptotic Stability and Homogeneous Approximations of Hybrid Dynamical Systems

SIAM Review

Generalized Differentiation with Positively Homogeneous Maps: Applications in Set-Valued Analysis and Metric Regularity

Mathematics of Operations Research

A necessary condition of viability for fractional differential equations with initialization

Computers & Mathematics with Applications

Morphological Control Problems with State Constraints

SIAM Journal on Control and Optimization

Convex Formulations of Data Assimilation Problems for a Class of Hamilton-Jacobi Equations

SIAM Journal on Control and Optimization

Stable Numerical Schemes for Solving Hamilton-Jacobi-Bellman-Isaacs Equations

SIAM Journal on Scientific Computing

Viability Solutions to Structured Hamilton-Jacobi Equations under Constraints

SIAM Journal on Control and Optimization

On the Existence of a Limit Value in Some Nonexpansive Optimal Control Problems

SIAM Journal on Control and Optimization

Denotational semantics of hybrid automata

FOSSACS'06 Proceedings of the 9th European joint conference on Foundations of Software Science and Computation Structures

Robust attainability of a closed set for nonlinear systems with imperfect initial state information

LSSC'05 Proceedings of the 5th international conference on Large-Scale Scientific Computing

Convergence of the projection-based generalized neural network and the application to nonsmooth optimization problems

ISNN'10 Proceedings of the 7th international conference on Advances in Neural Networks - Volume Part I

HJB approach for motion planning and reachabilty analysis

Proceedings of the 5th International ICST Conference on Performance Evaluation Methodologies and Tools

Primal–dual tests for safety and reachability

HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control

A Topological Approach to Quitting Games

Mathematics of Operations Research

Computing the viability kernel using maximal reachable sets

Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control

On converse Lyapunov theorems for fluid network models

Queueing Systems: Theory and Applications

Survey paper: Set invariance in control

Automatica (Journal of IFAC)

Brief A polytopic game

Automatica (Journal of IFAC)

Controllers for reachability specifications for hybrid systems

Automatica (Journal of IFAC)

Brief Optimal induced l1-norm state feedback control

Automatica (Journal of IFAC)

Brief Set-valued methods for linear parameter varying systems

Automatica (Journal of IFAC)

A set-valued approach to control immunotherapy

Mathematical and Computer Modelling: An International Journal

Invariance Kernels of Single-Input Planar Nonlinear Systems

SIAM Journal on Control and Optimization

Smooth Morse-Lyapunov Functions of Strong Attractors for Differential Inclusions

SIAM Journal on Control and Optimization

Computational Tools for the Safety Control of a Class of Piecewise Continuous Systems with Imperfect Information on a Partial Order

SIAM Journal on Control and Optimization

Fuzzy differential equations without fuzzy convexity

Fuzzy Sets and Systems

Dynamical behaviors of Cohen-Grossberg neural networks with mixed time delays and discontinuous activations

Neurocomputing

OpenMOLE, a workflow engine specifically tailored for the distributed exploration of simulation models

Future Generation Computer Systems

Improved relaxations for the parametric solutions of ODEs using differential inequalities

Journal of Global Optimization