Accurate hybridization of nonlinear systems
From MaRDI portal
Recommendations
Cites work
- Decentralized Control of Discrete-Event Systems With Bounded or Unbounded Delay Communication
- Discrete-time control for rectangular hybrid automata
- scientific article; zbMATH DE number 1507210 (Why is no real title available?)
- scientific article; zbMATH DE number 1444339 (Why is no real title available?)
- Hybrid Systems: Computation and Control
- Hybrid Systems: Computation and Control
- Marked directed graphs
- Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
- Stability Analysis of Networked Control Systems Using a Switched Linear Systems Approach
- Unfoldings: A partial-order approach to model checking.
- What's decidable about hybrid automata?
Cited in
(18)- Analysis of accuracy of hybrid systems with random time quantization
- Reachability analysis of nonlinear systems using hybridization and dynamics scaling
- Adaptive reachability algorithms for nonlinear systems using abstraction error analysis
- OURS: over- and under-approximating reachable sets for analytic time-invariant differential equations
- Set-based control for disturbed piecewise affine systems with state and actuation constraints
- Hybrid tools for hybrid systems -- proving stability and safety at once
- Scalable static hybridization methods for analysis of nonlinear systems
- Computing reachable states for nonlinear biological models
- Hybrid Systems: Computation and Control
- Safety verification for regime-switching jump diffusions via barrier certificates
- Robust constrained control of piecewise affine systems through set‐based reachability computations
- Adaptive parameter tuning for reachability analysis of nonlinear systems
- Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
- Decompositional reach-and-stay contract-based control of nonlinear systems with an application to glucose control
- Approximation of the reachability set of a nonlinear controlled system with discrete time
- Active model discrimination algorithms for switched piecewise affine inclusion systems with temporal logic constraints
- Hybridization methods for the analysis of nonlinear systems
- Change-of-bases abstractions for non-linear hybrid systems
This page was built for publication: Accurate hybridization of nonlinear systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2985859)
