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
暂无分享,去创建一个
Edward A. Lee | Gabor Karsai | Stephen P. Boyd | Stephen Boyd | S. Shankar Sastry | Edmund M. Clarke | Claire J. Tomlin | Janos Sztipanovits | Bruce H. Krogh | C. Tomlin | E. Clarke | G. Karsai | B. Krogh | J. Sztipanovits | S. Sastry
[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.