Safety Verification of Nonlinear Hybrid Systems Based on Bilinear Programming
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems"
DOI: 10.1109/tcad.2018.2858383
Abstract: In safety verification of hybrid systems, barrier certificates are generated by solving the verification conditions derived from non-negative representations of different types. This paper presents a new computational method, sequential linear programming projection, for directly… read more here.
Keywords: verification nonlinear; hybrid systems; safety verification; verification ... See more keywords
Fast Functional Safety Verification for Distributed Automotive Applications During Early Design Phase
Sign Up to like & getrecommendations! Published in 2018 at "IEEE Transactions on Industrial Electronics"
DOI: 10.1109/tie.2017.2762621
Abstract: Both response time and reliability are important functional safety properties that must be simultaneously satisfied learning from the automotive functional safety standard ISO 26262. Safety verification pertains to checking if an application meets a safe… read more here.
Keywords: phase; functional safety; safety verification; safety ... See more keywords