An algorithm with long steps for the simultaneous block projections approach for the linear feasibility problem

2001 ◽  
Vol 4 (1) ◽  
pp. 87-108
Author(s):  
Hakan Özaktaş ◽  
Mustafa Ç. Pinar ◽  
Mustafa Akgül ◽  
Tahsin Kurç ◽  
Cevdet Aykanat
Keyword(s):  
Feasibility Problem ◽  
Linear Feasibility

scholarly journals Accelerated sampling Kaczmarz Motzkin algorithm for the linear feasibility problem

2019 ◽  
Vol 77 (2) ◽  
pp. 361-382
Author(s):  
Md Sarowar Morshed ◽  
Md Saiful Islam ◽  
Md. Noor-E-Alam
Keyword(s):  
Feasibility Problem ◽  
Linear Feasibility

Semi-formal verification of closed-loop specifications in the concept design phase

2017 ◽  
Vol 65 (2) ◽  
Author(s):  
Jan H. Richter ◽  
Stefan R. Friedrich
Keyword(s):  
Formal Verification ◽  
Feasibility Problem ◽  
Mixed Integer ◽  
Test Case ◽  
Concept Design ◽  
Simulation Based ◽  
Verification Problem ◽  
Linear Feasibility ◽  
Mixed Logical Dynamical ◽  
Early Phases

AbstractThe article addresses the semi-formal verification of behavioral specifications for subsystems consisting of physical parts and controllers, complemented by simulation-based integration testing. Since design errors in early phases tend to be particularly expensive, the method is tailored towards applicability in these phases. We verify behavioral specifications with proof-like credibility, or falsify them while providing a violation scenario that is reusable as a test case. The system is represented as a mixed logical dynamical (MLD) system, and specifications are expressed by a temporal logic with affine signal abstractions. The verification problem is converted into an equivalent mixed-integer linear feasibility problem solved using off-the-shelf solvers. An example illustrates the effectiveness of the method.

Sign in / Sign up

Export Citation Format

Share Document