Beyond Liveness: Efficient Parameter Synthesis for Time Bounded Liveness

2005 ◽  
pp. 81-94 ◽  
Author(s):  
Gerd Behrmann ◽  
Kim G. Larsen ◽  
Jacob Illum Rasmussen
Keyword(s):  
Parameter Synthesis

Invariant sets techniques for Youla–Kučera parameter synthesis

2011 ◽  
Vol 84 (9) ◽  
pp. 1553-1564 ◽  
Author(s):  
Anamaria Luca ◽  
Pedro Rodriguez-Ayerbe ◽  
Didier Dumur
Keyword(s):  
Invariant Sets ◽  
Parameter Synthesis

ParetoLib: A Python Library for Parameter Synthesis

2019 ◽  
pp. 114-120 ◽  
Author(s):  
Alexey Bakhirkin ◽  
Nicolas Basset ◽  
Oded Maler ◽  
José-Ignacio Requeno Jarabo
Keyword(s):  
Parameter Synthesis

Pithya: A Parallel Tool for Parameter Synthesis of Piecewise Multi-affine Dynamical Systems

2017 ◽  
pp. 591-598 ◽  
Author(s):  
Nikola Beneš ◽  
Luboš Brim ◽  
Martin Demko ◽  
Samuel Pastva ◽  
David Šafránek
Keyword(s):  
Dynamical Systems ◽  
Parameter Synthesis

HooVer: A Framework for Verification and Parameter Synthesis in Stochastic Systems using Optimistic Optimization

2021 ◽  
Author(s):  
Negin Musavi ◽  
Dawei Sun ◽  
Sayan Mitra ◽  
Geir Dullerud ◽  
Sanjay Shakkottai
Keyword(s):  
Stochastic Systems ◽  
Parameter Synthesis

scholarly journals Full Authority Digital Electronic Control: Highlights of Next Generation Propulsion Control Technology

1978 ◽  
Author(s):  
B. A. Barclay ◽  
T. G. Lenox ◽  
C. J. Bosco
Keyword(s):  
Life Cycle Cost ◽  
Production Control ◽  
Control Technology ◽  
Electronic Control ◽  
Percent Reduction ◽  
Turbine Engine ◽  
Percent Improvement ◽  
Current Production ◽  
Parameter Synthesis ◽  
Aircraft Application

This paper describes the results of Pratt & Whitney Aircraft preliminary design studies for a full authority digital electronic control (FADED) system with capability for controlling an advanced variable cycle gas turbine engine in an advanced supersonic Navy fighter-type aircraft application. The FADEC system concept which resulted from these studies features essentially fail-operational fault tolerance capability for non-augmented operation through the use of redundant sensing, computation, and command paths; parameter synthesis; and self-test techniques. Incorporation of advanced electronic circuit technology and minimization of complex hydromechanical hardware projected to result in over 43 percent reduction in life cycle cost, 41 percent reduction in acquisition cost, 26 percent reduction in weight, and 130 percent improvement in piece part reliability, relative to a system configuration with latest current production control technology.

Sign in / Sign up

Export Citation Format

Share Document