Longitudinal-control design approach for high-angle-of-attack aircraft

This paper describes a control synthesis methodology that emphasizes a variable-gain output feedback technique that is applied to the longitudinal channel of a high-angle-of-attack aircraft. The aircraft is a modified F/A-18 aircraft with thrust-vectored controls. The flight regime covers a range up to a Mach number of 0.7; an altitude range from 15,000 to 35,000 ft; and an angle-of-attack (alpha) range up to 70 deg, which is deep into the poststall region. A brief overview is given of the variable-gain mathematical formulation as well as a description of the discrete control structure used for the feedback controller. This paper also presents an approximate design procedure with relationships for the optimal weights for the selected feedback control structure. These weights are selected to meet control design guidelines for high-alpha flight controls. Those guidelines that apply to the longitudinal-control design are also summarized. A unique approach is presented for the feed-forward command generator to obtain smooth transitions between load factor and alpha commands. Finally, representative linear analysis results and nonlinear batch simulation results are provided

Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems

Timed Transition Models (TTMs) are event-based descriptions for modelling, specifying, and verifying discrete real-time systems. An event can be spontaneous, fair, or timed with specified bounds. TTMs have a textual syntax, an operational semantics, and an automated tool supporting linear-time temporal logic. We extend TTMs and its tool with two novel modelling features for writing high-level specifications: indexed events and synchronous events. Indexed events allow for concise description of behaviour common to a set of actors. The indexing construct allows us to select a specific actor and to specify a temporal property for that actor. We use indexed events to validate the requirements of a train control system. Synchronous events allow developers to decompose simultaneous state updates into actions of separate events. To specify the intended data flow among synchronized actions, we use primed variables to reference the post-state (i.e., one resulted from taking the synchronized actions). The TTM tool automatically infers the data flow from synchronous events, and reports errors on inconsistencies due to circular data flow. We use synchronous events to validate part of the requirements of a nuclear shutdown system. In both case studies, we show how the new notation facilitates the formal validation of system requirements, and use the TTM tool to verify safety, liveness, and real-time properties.Comment: In Proceedings ESSS 2015, arXiv:1506.0325

Integrated tools for control-system analysis

The basic functions embedded within a user friendly software package (MATRIXx) are used to provide a high level systems approach to the analysis of linear control systems. Various control system analysis configurations are assembled automatically to minimize the amount of work by the user. Interactive decision making is incorporated via menu options and at selected points, such as in the plotting section, by inputting data. There are five evaluations such as the singular value robustness test, singular value loop transfer frequency response, Bode frequency response, steady-state covariance analysis, and closed-loop eigenvalues. Another section describes time response simulations. A time response for random white noise disturbance is available. The configurations and key equations used for each type of analysis, the restrictions that apply, the type of data required, and an example problem are described. One approach for integrating the design and analysis tools is also presented

Design and evaluation of a Stochastic Optimal Feed-forward and Feedback Technology (SOFFT) flight control architecture

This paper describes the design and evaluation of a stochastic optimal feed-forward and feedback technology (SOFFT) control architecture with emphasis on the feed-forward controller design. The SOFFT approach allows the designer to independently design the feed-forward and feedback controllers to meet separate objectives and then integrate the two controllers. The feed-forward controller has been integrated with an existing high-angle-of-attack (high-alpha) feedback controller. The feed-forward controller includes a variable command model with parameters selected to satisfy level 1 flying qualities with a high-alpha adjustment to achieve desired agility guidelines, a nonlinear interpolation approach that scales entire matrices for approximation of the plant model, and equations for calculating feed-forward gains developed for perfect plant-model tracking. The SOFFT design was applied to a nonlinear batch simulation model of an F/A-18 aircraft modified for thrust vectoring. Simulation results show that agility guidelines are met and that the SOFFT controller filters undesired pilot-induced frequencies more effectively during a tracking task than a flight controller that has the same feedback control law but does not have the SOFFT feed-forward control

Barriers to mental health service use among distressed family caregivers of lung cancer patients

Although family caregivers of patients with lung and other cancers show high rates of psychological distress, they underuse mental health services. This qualitative study aimed to identify barriers to mental health service use among 21 distressed family caregivers of lung cancer patients. Caregivers had not received mental health services during the patient's initial months of care at a comprehensive cancer centre in New York City. Thematic analysis of interview data was framed by Andersen's model of health service use and Corrigan's stigma theory. Results of our analysis expand Andersen's model by providing a description of need variables (e.g. psychiatric symptoms), enabling factors (e.g. finances), and psychosocial factors associated with caregivers' non-use of mental health services. Regarding psychosocial factors, caregivers expressed negative perceptions of mental health professionals and a desire for independent management of emotional concerns. Additionally, caregivers perceived a conflict between mental health service use and the caregiving role (e.g. prioritising the patient's needs). Although caregivers denied stigma associated with service use, their anticipated negative self-perceptions if they were to use services suggest that stigma may have influenced their decision to not seek services. Findings suggest that interventions to improve caregivers' uptake of mental health services should address perceived barriers

Local variations in spatial synchrony of influenza epidemics

Background: Understanding the mechanism of influenza spread across multiple geographic scales is not complete. While the mechanism of dissemination across regions and states of the United States has been described, understanding the determinants of dissemination between counties has not been elucidated. The paucity of high resolution spatial-temporal influenza incidence data to evaluate disease structure is often not available. Methodology and Findings: We report on the underlying relationship between the spread of influenza and human movement between counties of one state. Significant synchrony in the timing of epidemics exists across the entire state and decay with distance (regional correlation = 62%). Synchrony as a function of population size display evidence of hierarchical spread with more synchronized epidemics occurring among the most populated counties. A gravity model describing movement between two populations is a stronger predictor of influenza spread than adult movement to and from workplaces suggesting that non-routine and leisure travel drive local epidemics. Conclusions: These findings highlight the complex nature of influenza spread across multiple geographic scales. © 2012 Stark et al

Monitoring dynamics of single-cell gene expression over multiple cell cycles

Recent progress in reconstructing gene regulatory networks has established a framework for a quantitative description of the dynamics of many important cellular processes. Such a description will require novel experimental techniques that enable the generation of time-series data for the governing regulatory proteins in a large number of individual living cells. Here, we utilize microfabrication to construct a Tesla microchemostat that permits single-cell fluorescence imaging of gene expression over many cellular generations. The device is used to capture and constrain asymmetrically dividing or motile cells within a trapping region and to deliver nutrients and regulate the cellular population within this region. We illustrate the operation of the microchemostat with Saccharomyces cerevisiae and explore the evolution of single-cell gene expression and cycle time as a function of generation. Our findings highlight the importance of novel assays for quantifying the dynamics of gene expression and cellular growth, and establish a methodology for exploring the effects of gene expression on long-term processes such as cellular aging