Search results

• Semantic Translation of Simulink/Stateflow models to Hybrid Automata using GReAT, Aditya Agrawal, Gyula Simon, Gabor Karsai, Proceedings of International Workshop on Graph Transformation and Visual Modeling Techniques (GT-VMT) 2004. Electronic Notes in Theoretical Computer Science (ENTCS), December, 2004
• Blowing Up Affine Hybrid Systems, Aaron Ames, Shankar Sastry, In Decision and Control, 2004. CDC. 43rd IEEE Conference on, 473-478, December, 2004
• Actor-Oriented Metaprogramming, Stephen Neuendorffer, University of California, Berkeley, December, 2004
• Online Hierarchical Fault-Adaptive Control for Advanced Life Support Systems, S. Abdelwahed, J. Wu, G. Biswas, J.W. Ramirez, E.J. Manders, International Conference On Environmental Systems, Denver, CO, July, 2004
• Fast Transmission in Ad Hoc Networks, P. Balister, B. Bollobas, M. Haenggi, M. Walters, Information Theory, 2004. ISIT 2004. Proceedings. International Symposium on, July, 2004
• Embedded Software: Leveraging Concurrent Models of Computation, Edward A. Lee, 30, June, 2004
• Actor-Oriented Design: A focus on domain-specific languages for embedded systems, Edward A. Lee, 22, June, 2004
• A Domain-Specific Visual Language For Domain Model Evolution, Jonathan Sprinkle, Gabor Karsai, Journal of Visual Languages & Computing, 15, 3-4, 291-307, June, 2004
• Modeling of Sensor Nets in Ptolemy II, Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, Yang Zhao, Information Processing in Sensor Networks, 2004. IPSN 2004. Third International Symposium on, 359 - 368, April, 2004
• VisualSense: Visual Modeling for Wireless and Sensor Network Systems, Philip Baldwin, Sanjeev Kohli, Edward A. Lee, Xiaojun Liu, University of California, Berkeley, UCB/ERL M04/08, April, 2004
• Actor-Oriented Control System Design: A Responsible Framework Perspective, Jie Liu, Johan Eker, Jorn W Janneck, Xiaojun Liu, Edward A. Lee, Control Systems Technology, IEEE Transactions on, 12, 2, 250-262, March, 2004
• Hybrid Systems Modeling: Operational Semantics Issues, Edward A. Lee, 4, February, 2004
• A stability criterion for Stochastic Hybrid Systems, A. Abate, L. Shi, S. Simic, S. Sastry, Proceedings of the 16th International Symposium on Mathematical Theory of Networks and Systems, Leuven, Jul. 2004, January, 2004
• Affine Hybrid Systems, Aaron Ames, Shankar Sastry, in Hybrid Systems: Computation and Control, LNCS Vol. 2993, 16-31, 2004
• A Decentralized Approach to Sound Source Localization with Sensor Networks, I. Amundson, P. Schmidt, K. Frampton, ASME 2004 International Mechanical Engineering Congress and Exposition (IMECE2004), 1311-1317, 2004
• Robust Model Predictive Control through Adjustable Variables: An Application to Path Planning, A. Abate, L. El Ghaoui, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004, 2004
• Connectivity of Random Geometric Graph, P. Balister, B. Bollobas, A. Sarkar, 2004 Combinatorics, Graph Theory and Computing Conference, 2004
• Continuum percolation with steps in an annulus, Paul Balister, Bela Bollobas, Mark Walters, Annals of Applied Probability, 14, 4, 1869-1879, 2004
• Optimal Control for a class of Stochastic Hybrid Systems, Ling Shi, Alessandro Abate, Shankar Sastry, Proc. 43rd IEEE Conference on Decision and Control, The Bahamas, Dec. 2004., 2004
• Digital Communication, John R. Barry, Edward A. Lee, David G. Messerschmitt, Springer, 3rd, 2004, 978-0-7923-7548-7

Found 20 publications.