Frameworks and Tools for High-Confidence Design of Adaptive, Distributed Embedded Control Systems. Multi-University Research Initiative on High-Confidence Design for Distributed Embedded Systems

Abstract : This project aims to develop a comprehensive approach to the model-based design of high-confidence distributed embedded systems. We will take advantage and fully leverage a shared theoretical foundation and technology infrastructure in four focus areas: hybrid and embedded systems theory, model-based software design, composable tool architectures and experimental testbeds. The objectives of our research in the focus areas are the following: (1) Develop theory of deep composition of hybrid systems with attributes of computational and communication platforms. (2) Develop foundations of model-based software design for high-confidence, networked embedded systems applications. (3) Develop composable tool architecture that supports high-level reusability of modeling, model-analysis, verification and testing tools in domain-specific tool chains. (4) Demonstrate the overall effort by creating an end-to-end design tool chain prototype for the model-based generation and verification of embedded controller code for experimental platforms.

[1]  Edmund M. Clarke,et al.  The Image Computation Problem in Hybrid Systems Model Checking , 2007, HSCC.

[2]  Stephen P. Boyd,et al.  An Efficient Method for Large-Scale Gate Sizing , 2008, IEEE Transactions on Circuits and Systems I: Regular Papers.

[3]  Gabor Karsai,et al.  On the Correctness of Model Transformations in the Development of Embedded Systems , 2006, Monterey Workshop.

[4]  Sandeep Neema,et al.  Compositional Specification of Behavioral Semantics , 2007, 2007 Design, Automation & Test in Europe Conference & Exhibition.

[5]  Stephen P. Boyd,et al.  Growing Well-connected Graphs , 2006, Proceedings of the 45th IEEE Conference on Decision and Control.

[6]  Janos Sztipanovits,et al.  Constructive techniques for meta- and model-level reasoning , 2007, MODELS'07.

[7]  Gabor Karsai,et al.  The design of a language for model transformations , 2006, Software & Systems Modeling.

[8]  Stephen P. Boyd,et al.  Fast Computation of Optimal Contact Forces , 2007, IEEE Transactions on Robotics.

[9]  Stephen P. Boyd,et al.  A minimax theorem with applications to machine learning, signal processing, and finance , 2007, CDC.

[10]  Edmund M. Clarke,et al.  An Abstraction Technique for Real-Time Verification , 2007 .

[11]  Stephen P. Boyd,et al.  An Interior-Point Method for Large-Scale l1-Regularized Logistic Regression , 2007, J. Mach. Learn. Res..

[12]  Stephen P. Boyd,et al.  Embedded estimation of fault parameters in an unmanned aerial vehicle , 2006, 2006 IEEE Conference on Computer Aided Control System Design, 2006 IEEE International Conference on Control Applications, 2006 IEEE International Symposium on Intelligent Control.

[13]  Stephen P. Boyd,et al.  Portfolio optimization with linear and fixed transaction costs , 2007, Ann. Oper. Res..

[14]  Stephen P. Boyd,et al.  Extending Scope of Robust Optimization: Comprehensive Robust Counterparts of Uncertain Problems , 2006, Math. Program..

[15]  Gabor Karsai,et al.  Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations , 2006, Electron. Commun. Eur. Assoc. Softw. Sci. Technol..

[16]  Stephen P. Boyd,et al.  Robust Beamforming via Worst-Case SINR Maximization , 2008, IEEE Transactions on Signal Processing.

[17]  Stephen P. Boyd,et al.  Upper bounds on algebraic connectivity via convex optimization , 2006 .

[18]  Stephen P. Boyd,et al.  The Fastest Mixing Markov Process on a Graph and a Connection to a Maximum Variance Unfolding Problem , 2006, SIAM Rev..

[19]  Seung-Jean Kim,et al.  Array Signal Processing with Robust Rejection Constraints via Second-Order Cone Programming , 2006, 2006 Fortieth Asilomar Conference on Signals, Systems and Computers.