skip to main content
10.1145/2461328.2461344acmconferencesArticle/Chapter ViewAbstractPublication PagescpsweekConference Proceedingsconference-collections
research-article

An aircraft electric power testbed for validating automatically synthesized reactive control protocols

Authors Info & Claims
Published:08 April 2013Publication History

ABSTRACT

Modern aircraft increasingly rely on electric power for subsystems that have traditionally run on mechanical power. The complexity and safety-criticality of aircraft electric power systems have therefore increased, rendering the design of these systems more challenging. This work is motivated by the potential that correct-by-construction reactive controller synthesis tools may have in increasing the effectiveness of the electric power system design cycle. In particular, we have built an experimental hardware platform that captures some key elements of aircraft electric power systems within a simplified setting. We intend to use this platform for validating the applicability of theoretical advances in correct-by-construction control synthesis and for studying implementation-related challenges. We demonstrate a simple design workflow from formal specifications to auto-generated code that can run on software models and be used in hardware implementation. We show some preliminary results with different control architectures on the developed hardware testbed.

References

  1. C. Baier and J. Katoen. Principles of Model Checking. MIT press, 1999.Google ScholarGoogle Scholar
  2. M. Lahijanian, M. Kloetzer, S. Itani, C. Belta, and S. B. Andersson. Automatic deployment of autonomous cars in a robotic urban-like environment. In IEEE Intl. Conf. on Robotics and Automation, pages 2055--2060, Kobe, Japan, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. O. J. Mengshoel, A. Darwiche, K. Cascio, M. Chavira, S. Poll, and S. Uckun. Diagnosing faults in electrical power systems of spacecraft and aircraft. In Innovative Applications of Artificial Intelligence Conference, pages 1699--1705, Chicago, IL, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. N. Ozay, U. Topcu, and R. M. Murray. Distributed power allocation for vehicle management systems. In IEEE Conference on Decision and Control, 2011.Google ScholarGoogle ScholarCross RefCross Ref
  5. N. Ozay, U. Topcu, T. Wongpiromsarn, and R. M. Murray. Distributed synthesis of control protocols for smart camera networks. In ACM/IEEE Intl. Conf. on Cyber-Physical Systems, Chicago, IL, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. N. Piterman, A. Pneuli, and Y. Sa'ar. Synthesis of reactive(1) designs. Verification, Model Checking and Abstract Interpretation, 3855, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. A. Pnueli and R. Rosner. Distributed reactive systems are hard to synthesize. In IEEE Symposium on Foundations of Computer Science, 1990. Google ScholarGoogle ScholarDigital LibraryDigital Library
  8. A. Pnueli, Y. Sa'ar, and L. Zuck. JTLV a framework for developing verification algorithms. In Intl. Conf. on Computer Aided Verification, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. S. Poll, A. Patterson-hine, J. Camisa, D. Garcia, D. Hall, C. Lee, et al. Advanced diagnostics and prognostics testbed. In International Workshop on Principles of Diagnosis, pages 178--185, 2007.Google ScholarGoogle Scholar
  10. R. Rogersten, H. Xu, N. Ozay, U. Topcu, and R. M. Murray. An Aircraft Electric Power Testbed for Validating Automatically Synthesized Reactive Control Protocols. Caltech, Tech. Rep. Id. 36376, 2013.Google ScholarGoogle ScholarCross RefCross Ref
  11. SIMULINK. version 7.7 (R2011a). The MathWorks Inc., Natick, Massachusetts, 2011.Google ScholarGoogle Scholar
  12. T. Wongpiromsarn, U. Topcu, N. Ozay, H. Xu, and R. Murray. TuLiP: a software toolbox for receding horizon temporal logic planning. In Intl. Conf. on Hybrid Systems: Computation and Control, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. H. Xu, U. Topcu, and R. Murray. A case study on reactive protocols for aircraft electric power distribution. In IEEE Conference on Decision and Control, 2012.Google ScholarGoogle ScholarCross RefCross Ref

Index Terms

  1. An aircraft electric power testbed for validating automatically synthesized reactive control protocols

      Recommendations

      Comments

      Login options

      Check if you have access through your login credentials or your institution to get full access on this article.

      Sign in
      • Published in

        cover image ACM Conferences
        HSCC '13: Proceedings of the 16th international conference on Hybrid systems: computation and control
        April 2013
        378 pages
        ISBN:9781450315678
        DOI:10.1145/2461328

        Copyright © 2013 ACM

        Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

        Publisher

        Association for Computing Machinery

        New York, NY, United States

        Publication History

        • Published: 8 April 2013

        Permissions

        Request permissions about this article.

        Request Permissions

        Check for updates

        Qualifiers

        • research-article

        Acceptance Rates

        HSCC '13 Paper Acceptance Rate40of86submissions,47%Overall Acceptance Rate153of373submissions,41%

      PDF Format

      View or Download as a PDF file.

      PDF

      eReader

      View online with eReader.

      eReader