Controlling a Class of Nonlinear Systems on Rectangles
From MaRDI portal
Publication:5281971
Cited in
(56)- Design of smooth hybrid controllers for a class of non-linear systems
- Safe learning-based model predictive control using the compatible models approach
- An input-output simulation approach to controlling multi-affine systems for linear temporal logic specifications
- Symbolic models for nonlinear time-delay systems using approximate bisimulations
- Control design for specifications on stochastic hybrid systems
- Iterative temporal motion planning for hybrid systems in partially unknown environments
- Flowpipe approximation and clustering in space-time
- Multi-agent planning under local LTL specifications and event-based synchronization
- Symbolic models for nonlinear control systems affected by disturbances
- Improved delay-dependent stability criteria for linear systems with multiple time-varying delays
- Observer design for a class of piecewise affine hybrid systems
- Tracking differentiable trajectories across polyhedra boundaries
- Hierarchical hybrid symbolic robot motion planning and control
- Limited-information control of hybrid systems via reachable set propagation
- On algorithmic analysis of transcriptional regulation by LTL model checking
- Quantitative timed simulation functions and refinement metrics for real-time systems
- Safe and stabilizing distributed multi-path cellular flows
- Mining requirements from closed-loop control models
- Optimal CPU allocation to a set of control tasks with soft real-time execution constraints
- Time-constrained temporal logic control of multi-affine systems
- Symbolic models for time-varying time-delay systems via alternating approximate bisimulation
- Stabhyli -- a tool for automatic stability verification of non-linear hybrid systems
- Zélus: a synchronous language with ODEs
- Precise parameter synthesis for stochastic biochemical systems
- Observability analysis of conewise linear systems via directional derivative and positive invariance techniques
- Model checking of biological systems
- On the decidability of stability of hybrid systems
- Approximating Continuous Systems by Timed Automata
- Safe schedulability of bounded-rate multi-mode systems
- Hybrid control Lyapunov functions for the stabilization of hybrid systems
- Quantitative automata-based controller synthesis for non-autonomous stochastic hybrid systems
- Augmented finite transition systems as abstractions for control synthesis
- Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
- Approximating acceptance probabilities of CTMC-paths on multi-clock deterministic timed automata
- An obstruction to solvability of the reach control problem using affine feedback
- Comparison of combinatorial signatures of global network dynamics generated by two classes of ODE models
- Lyapunov analysis of rigid body systems with impacts and friction via sums-of-squares
- Least-violating control strategy synthesis with safety rules
- Combinatorial representation of parameter space for switching networks
- Automated analysis of real-time scheduling using graph games
- Bounded model-checking of discrete duration calculus
- Temporal logic model predictive control for discrete-time systems
- Compositional heterogeneous abstraction
- One-shot computation of reachable sets for differential games
- Resilient synchronization in robust networked multi-agent systems
- Rewarding probabilistic hybrid automata
- State estimation for polyhedral hybrid systems and applications to the Godunov scheme
- Controller synthesis for robust invariance of polynomial dynamical systems using linear programming
- A toolbox for simulation of hybrid systems in Matlab/Simulink. Hybrid Equations (HyEQ) Toolbox
- Formula-free finite abstractions for linear temporal verification of stochastic hybrid systems
- Chattering in the reach control problem
- Specification-guided controller synthesis for linear systems and safe linear-time temporal logic
- Global dynamics for switching systems and their extensions by linear differential equations
- Learning nonlinear hybrid systems: from sparse optimization to support vector regression
- Computation of polytopic invariants for polynomial dynamical systems using linear programming
- Flow functions, control flow functions, and the reach control problem
This page was built for publication: Controlling a Class of Nonlinear Systems on Rectangles
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5281971)
