Networked Cyber Physical Systems at SRI

 

 

 

http://ncps.csl.sri.com/image/side_icon.gif

Home

http://ncps.csl.sri.com/image/side_icon.gif

Framework

http://ncps.csl.sri.com/image/side_icon.gif

Publications

http://ncps.csl.sri.com/image/side_icon.gif

People

http://ncps.csl.sri.com/image/side_icon.gif

Download

http://ncps.csl.sri.com/image/side_icon.gif

Case Study1

Case Study2

http://ncps.csl.sri.com/image/side_icon.gif

Reading List

http://ncps.csl.sri.com/image/side_icon.gif

Sponsors

 

Papers

 

á      M-O. Stehr, M. Kim, T. McCarthy

A distributed computing model for dataflow, controlflow, and workflow in fractionated cyber-physical systems

            Computing with New Resources, Lecture Notes in Computer Science, Volume 8808, pp 379-393, Dec. 2014. [pdf] [bibtex]

 

á      M-O. Stehr, M. Kim, C. Talcott

Partially Ordered Knowledge Sharing and Fractionated Systems in the Context of other Models for Distributed Computing

            Specification, Algebra, and Software, LNCS Volume 8373, pp 402-433, Apr. 2014, Kanazawa, Japan [pdf] [bibtex]

 

á      J-S. Choi, T. McCarthy, M. Kim, M-O. Stehr

Adaptive Wireless Networks as an Example of Declarative Fractionated Systems

            10th International Conference on Mobile and Ubiquitous Systems: Computing, Networking and Services (MOBIQUITOUS'13), Dec. 2013, Tokyo, Japan [pdf] [bibtex]

 

á      J-S. Choi, T. McCarthy, M. Yadav, M. Kim, C. Talcott, E. Gressier-Soudan

Application Patterns for Cyber-Physical Systems

            IEEE International Conference on Cyber-Physical Systems, Networks, and Applications (CPSNA), Aug. 2013, Taipei, Taiwan [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, C. Talcott

A Distributed Logic for Networked Cyber-Physical Systems

            ELSEVIER Journal of Science of Computer Programming (SCP), 78(12):2453-2467, 2013. [pdf] [bibtex]

 

á      M. Kim, J-M. Kim, M-O. Stehr, A. Gehani, D. Tariq, J-S. Kim

Maximizing Availability of Content in Disruptive Environments by Cross-Layer Optimization

            28th ACM Symposium on Applied Computing (SAC), Mar. 2013, Coimbra, Portugal. [pdf] [bibtex]

 

á      J. Kim, M. Kim, M-O. Stehr, H. Oh, S. Ha

A Parallel and Distributed Meta-heuristic Framework for Design Optimization Problems

            ELSEVIER Journal of Parallel and Distributed Computing (JPDC), 72(4): 564-578, 2012 [pdf] [bibtex]

 

á      M-O. Stehr, C. Talcott, J. Rushby, P. Lincoln, M. Kim, S. Cheung, A. Poggio

Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-term Vision

            Formal Modeling: Actors, Open Systems, Biological Systems, LNCS 7000 (pp.110-143),
            Nov. 2011, Menlo Park, CA. USA. [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian

A Formal Methodology for Compositional Cross-Layer Optimization

            Formal Modeling: Actors, Open Systems, Biological Systems, LNCS 7000 (pp.207-222),
            Nov. 2011, Menlo Park, CA. USA. [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, A. Gehani, C. Talcott

Ensuring Security and Availability through Model-based Cross-Layer Adaptation

            8th International Conference on Ubiquitous Intelligence and Computing (UIC'11), LNCS 6905 (pp.310-325),
            Sept. 2011, Banff, Canada. [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, C. Talcott

A Distributed Logic for Networked Cyber-Physical Systems

            IPM International Conference on Fundamentals of Software Engineering (FSEN'11),
            Apr. 2011, Teheran, Iran. [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, J. Kim, S. Ha

An Application Framework for Loosely Coupled Networked Cyber-Physical Systems

            8th IEEE/IFIP Conference on Embedded and Ubiquitous Computing (EUC'10),
            Dec. 2010, Hong Kong, China. [pdf] [bibtex]

 

á      M-O. Stehr, M. Kim, C. Talcott

Toward Distributed Declarative Control of Networked Cyber-Physical Systems

            7th International Conference on Ubiquitous Intelligence and Computing (UIC'10),

            Oct. 2010, Xian, China. [pdf] [bibtex]

 

Posters

 

á      M-O. Stehr, M. Kim, C. Talcott, T. McCarthy, J-S. Choi, J. Kwon, M. Yadav

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
National CPS PI Meeting,

            Oct. 2013, Arlington, VA, USA.

 

á      M-O. Stehr, M. Kim, C. Talcott, T. McCarthy, F. Sailhan, J-S. Choi, J-M. Kim

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
National CPS PI Meeting,

            Oct. 2012, National Harbor, MD, USA.

 

á      M-O. Stehr, M. Kim, C. Talcott, J. Kim, V. Wang, T. McCarthy

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
National CPS PI Meeting,

            Aug. 2011, National Harbor, MD, USA.

 

á      M-O. Stehr, M. Kim, C. Talcott, J. Kim, V. Wang

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
National CPS PI Meeting,

            Aug. 2010, Arlington, VA, USA.

 

á      M. Kim, M-O. Stehr, C. Talcott

A Logical Framework for Self-Optimizing Networked Cyber-Physical Systems
International Workshop on Cyber-Physical Systems: Closing the Loop, in conjunction with ESWEEK,

            Oct. 2009, Grenoble, France.

 

From Earlier Work

 

á      M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian

xTune: A Formal Methodology for Cross-layer Tuning of Mobile Embedded Systems

ACM Transactions on Embedded Computing Systems (TECS), 11(4): Article 73, 2012.

 

á      M.-O. Stehr and C. Talcott.

            Planning and learning algorithms for routing in disruption-tolerant networks.

            In Proceedings of IEEE Military Communications Conference, 2008

 

á      M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian

Constraint Refinement for Online Verifiable Cross-Layer System Adaptation

IEEE/ACM Design Automation and Test in Europe (DATE Ô08), Mar. 2008, Munich, Germany. [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
International Conference on Formal Modelling and Analysis of Timed Systems (FORMATSÕ07) in part of ESWEEK,

Oct. 2007, Salzburg, Austria., LNCS 4763 (pp. 257 - 273) [pdf] [bibtex]

 

á      M. Kim, M-O. Stehr, C. Talcott, N. Dutt, N. Venkatasubramanian
A Probabilistic Formal Approach to Cross-layer Optimization in Distributed Embedded Systems
IFIP Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODSÕ07),

June 2007, Paphos, Cyprus., LNCS 4468 (pp. 285 - 300) [pdf] [bibtex]

 

á      S. Gutierrez-Nolasco, N. Venkatasubramanian, M.-O. Stehr, C. Talcott

Towards Adaptive Secure Group Communication: Bridging the Gap between Formal Specification and Network Simulation

IEEE International Symposium on Pacific Rim Dependable Computing (PRDC'06). December. 2006.

 

á      S. Gutierrez-Nolasco, N. Venkatasubramanian, M.-O. Stehr, C. Talcott

Exploring Adaptability of Secure Group Communication using Formal Prototyping Techniques

3rd Workshop on Adaptive and Reflective Middleware, Middleware 2004. October 2004.

 

á      M.-O. Stehr, J. Meseguer, and Peter Csaba …lveczky.

Rewriting Logic as a Unifying Framework for Petri nets.

            Unifying Petri Nets, pages 250-303, Springer-Verlag, 2001.

 

 

 

 

 

 

Last updated: July. 2, 2013