Validation and Verification of Intelligent and Adaptive Control Systems

Abstract

The public reporting burden for this collection of information is estimated to average 1 hour per response, including the time for reviewing instructions, searching existing data sources, searching existing data sources, gathering and maintaining the data needed, and completing and reviewing the collection of information. Send comments regarding this burden estimate or any other aspect of this collection of information, including suggestions for reducing this burden, to Department of Defense, Washington Headquarters Services, Directorate for Information Operations and Reports (0704-0188), 1215 Jefferson Davis Highway, Suite 1204, Arlington, VA 22202-4302, Respondents should be aware that notwithstanding any other provision of law, no person shall be subject to any penalty for failing to comply with a collection of information if it does not display a currently valid OMB control number.

Synthesis of separable controlled invariant sets for modular local control design

“…Distributed embedded control systems are already integral parts of many safety-critical systems, including those in avionics [1], [2], automotive [3], electricity generation and distribution [4], and medical equipment [5]. Due to increasing complexity and integration of a large number of components and subsystems, certification of safety and performance properties of such systems constitutes a bottleneck in terms of design time.…”

Model-based adaptation of flight-critical systems

“…This trend will increase as FCS systems embrace network-centric and intelligent operations involving distributed control, self-healing, and autonomy. Accordingly, the complexity and size of FCS is projected to grow by over an order of magnitude beyond current systems [2]. Given these projections of increasing functional complexity and pace of adaptation, next generation FCS will require a fundamental departure from existing technologies for software construction.…”

“…Lack of floating point or memory management support) are important FCS design limitations that are representative of pervasive computing [2,5]. However, the architectural and middleware solutions to these challenges developed within largescale and pervasive computing environments have typically been discounted when developing flight critical software.…”

“…Architectural approaches that support heterogeneity, scalability, and flexibility increase the complexity of the software, which directly impacts V&V costs; the exponentially relationship between the cost of V&V and complexity is a major impediment to affordable construction of safety critical software [2].…”

Validation and Verification Techniques and Tools

“…Future research directions will enable the V&V of nonlinear and adaptive control systems (see, e.g., Hovakimyan and Cao 2010; Tallant et al 2004) that improve performance under highly uncertain conditions, as well as the V&V of complex integrated safety-critical systems for operation under off-nominal and hazardous conditions (see Belcastro 2010Belcastro , 2012. These systems will include diagnostic and prognostic algorithms for integrated vehicle health management, resilient control systems that enable the detection and mitigation of multiple hazards, supervisory systems that provide safety assurance (for safety-critical operations), and intelligent interface and decision-based systems that enable human-optional and fully autonomous operations.…”