Scalable static hybridization methods for analysis of nonlinear systems

DOI10.1145/2883817.2883837MaRDI QIDQ2988975zbMATH OpenOpenAlexWikidataFDO

Authors Stanley Bak, Sergiy Bogomolov, Taylor T. Johnson, Pradyot Prakash, Thomas A. Henzinger

Publication date 19 May 2017

Published in Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/2883817.2883837

zbMATH Keywords

abstractionhybrid systemshybridizationreachabilitysimulationverification

Mathematics Subject Classification ID

Hybrid systems of ordinary differential equations (34A38) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Hybridization methods for the analysis of nonlinear systems
• Algorithmic analysis of nonlinear hybrid systems
• Reachability analysis of nonlinear systems using conservative polynomialization and non-convex sets
• Accurate hybridization of nonlinear systems
• Path-oriented reachability verification of a class of nonlinear hybrid automata using convex programming

Cited in

(6)

• Set-based control for disturbed piecewise affine systems with state and actuation constraints
• Rigorous simulation-based analysis of linear hybrid systems
• Robust constrained control of piecewise affine systems through set‐based reachability computations
• Using Intersection of Unions to Minimize Multi-directional Linearization Error in Reachability Analysis
• Energy analysis in a nonlinear hybrid system containing linear and nonlinear subsystems coupled by hereditary element
• Hybridization methods for the analysis of nonlinear systems

Describes a project that uses

Uses Software

• SpaceEx
• HYST
• C2e2

This page was built for publication: Scalable static hybridization methods for analysis of nonlinear systems

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