] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"Passivity-Based Control Design for Cyber-Physical Systems",
International Workshop on Cyber-Physical Systems - Challenges and Applications (CPS-CA’08), Santorini Island, Greece, 06/2008.
Abstract
"Passivity-Based Design of Wireless Networked Control Systems for Robustness To Time-Varying Delays",
29th IEEE Real-Time Systems Symposium (RTSS 2008), Barcelona, Spain, IEEE, pp. 15-24, 12/2008.
Abstract
"A Passivity-Based Framework for Resilient Cyber Physical Systems",
ISRCS 2009 2nd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, 08/2009.
Abstract
Download: resilient_Jul_27_2009_05_23_PM.pdf (367.09 KB)
"Performance Optimization in Signal Processing Systems",
22nd Southeastern Symposium on System Theory, Cookeville, TN, March, 1990.
"Platform-Based Design for Clinical Information Systems",
5th International Conference on Industrial Informatics (INDIN 2007), Vienna, Austria, 07/2007.
Abstract
Download: Werner.et_.al-INDIN.2007.Paper-PBD4CIS.pdf (318.44 KB)
"PolicyForge: A Collaborative Environment for Formalizing Privacy Policies in Health Care",
Software Engineering in Health Care (SEHC 2013) at the 35th International Conference on Software Engineering (ICSE 2013), San Francisco, California, USA, ACM and IEEE Digital Libraries, 05/2013.
Abstract
Download: icsews13sehc-id14-p-16536-preprint.pdf (648 KB)
"Programming Model for Coupled Intelligent Systems in Distributed Execution Environment",
SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge , MA, pp. 40--48, 1986.
"Programming Model for Distributed Intelligent Systems",
Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
"Pulse Programming Assistant for Nuclear Magnetic Resonance Imaging",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 811--816, 1986.
"Rapid Synthesis of Multi-Model Simulations for Computational Experiments in C2",
Armed Forces Communications and Electronics Association - George Mason University Symposium, issue Critical Issue in C4I, Lansdowne, Virginia, George Mason University: http://hdl.handle.net/1920/5639, 05/2009.
Abstract
Download: C4I-09-07.pdf (717.63 KB)
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"Real-Time Turbine Engine Data Visualization",
Proceedings of the the 4th NATUG, Ithaca, NY, pp. 1--11, 1990.
"Robust Diagnostics: Structural Redundancy Approach",
Knowledge Based Artificial Intelligence Systems in Aerospace and Industry, SPIE's Symposium on Intelligent Systems, Orlando, FL, April, 1994.
Download: Misra_A_4_0_1994_Robust_Dia.pdf (233.04 KB)
"Saturn Site Production Flow (SSPF): Accomplishments and Challenges",
Engineering of Computer Based Systems, Jerusalem, Israel, pp. 248--255, March, 1998.
Download: Long_E_3_0_1998_Saturn_Sit.pdf (112.49 KB)
"Semantic Anchoring with Model Transformations",
European Conference on Model Driven Architecture -Foundations and Applications (ECMDA-FA), Nuremberg, Germany, November, 2005.
Download: Chen_K_11_7_2005_Semantic_A.pdf (1.83 MB)
"A Semantic Unit for Timed Automata Based Modeling Languages",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, pp. 2--14, April, 2006.
Download: Chen_K_4_4_2006_A_Semantic.pdf (316.11 KB)
"Simulation Integration Platforms for Cyber-Physical Systems",
The First Workshop on Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, ACM, 04/2019.
Abstract
"Specifying Graphical Modeling Systems Using Constraint-based Metamodels",
IEEE Symposium on Computer Aided Control System Design, Anchorage, Alaska, September, 2000.
Download: Karsai_G_9_25_2000_Specifying.pdf (90.87 KB)
"Structural Adaptivity: New Way to Increase Intelligence and Flexibility of Patient Monitoring Systems",
IFAC Symposium on Medical Instrumentation, 1989.
"A Study on Diagnosability of Space Station ECLSS",
Fifth Conference on Artificial Intelligence for Space Applications, Huntsville, AL, 1990.
"SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems (Poster)",
Computational Cybersecurity for Compromised Environments (C3E), Atlanta, GA, 10/2017.
"Synthesis of Large-Scale Real-Time Instrumentation Systems using Model-Based Techniques",
Proceedings of the the Software Engineering Research Forum, Boca Raton, FL, 1995.
"Testing and Validation in Artificial Intelligence Programming",
Proceedings of the SPIE's Cambridge Symposium on Advances in Intelligent Robotics Systems, Cambridge, MA, pp. 2--10, 1987.
"Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages",
Proceedings of the Fifth ACM International Conference on Embedded Software (EMSOFT 05), Jersey City, New Jersey, pp. 35--44, September, 2005.
Download: Chen_K_9_19_2005_Toward_a_S.pdf (363.02 KB)
"Toward Structural Adaptivity",
IEEE International Symposium on Circuits and systems, Espoo, Finland, 1988.
"Towards a Design Studio for Collaborative Modeling and Co-Simulations of Mixed Electrical Energy Systems",
Third International Workshop on Science of Smart City Operations and Platforms Engineering (SCOPE), Porto, Portugal, 04/2018.
Abstract
"Towards a Theory for Cyber-Physical Systems Modeling",
Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
"Towards a time-triggered schedule calculation tool to support model-based embedded software design",
ACM International Conference on Embedded Software (EMSOFT ’09), Grenoble, France, ACM, 10/2009.
Abstract
"Towards Automated Evaluation of Vehicle Dynamics in System-Level Designs",
Proc. ASME International Design Engineering Technical Conf. & Computers and Information in Engineering Conf. (IDETC/CIE 2012), Chicago, IL, USA, 08/2012.
Download: ASME_DECT2012-71378_dynamics.pdf (871.42 KB)
"Towards Automated Exploration and Assembly of Vehicle Design Models",
Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference, 08/2012.
Download: cad_dse_IDETC_CIE_2012_ISIS.pdf (1.39 MB)
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
"Towards Specification of Program Synthesis in Model-Integrated Computing",
ECBS-98, Jerusalem, Israel, pp. 226--233, 1998.
Download: Karsai_G_0_0_1998_Towards_Sp.pdf (359.33 KB)
"Uniform Execution Environment for Dynamic Reconfiguration",
Proceedings of the IEEE Conference and Workshop on Engineering of Computer Based Systems, Nashville, TN, pp. 181--187, March, 1999.
Download: Bapty_T_3_0_1999_Uniform_Ex.PDF (57.12 KB)
"Use of the Multigraph Architecture for the Development of Monitoring and Control in the High Dependency Environment",
IMIA-IFMBE Working Conference on Biosignal Interpretation, Denmark, pp. 185--188, August, 1993.
"Using Separation of Concerns for Embedded Systems Design",
EMSOFT '05, Jersey City, New Jersey, September, 2005.
Download: Jackson_EK_9_0_2005_Using_Sepa.pdf (201.69 KB)
"Application of Knowledge-Based Techniques in Fourier-Infrared Spectroscopy",
Artificial Intelligence in Engineering: Robotics and Processes: Elsevier, pp. 387--402, 1988.
"An Approach to Self-Adaptive Software based on Supervisory Control",
Self-Adaptive Software, Lecture Notes in Computer Science, 2002.
Download: Karsai_G_5_0_2001_An_Approac.pdf (97.4 KB)
"Embedded Software and Systems: Challenges and Approaches",
Hybrid Systems: Computation and Control (LNCS 2034), pp. 4, 2001.
"Embedded Software: Challenges and Opportunities",
Lecture Notes in Computer Science, vol. 2211: Springer Verlag, pp. 403--408, 2000.
"Embedded Software: Opportunities and Challenges",
Embedded Software, (LNCS 2211), pp. 403--415, 2001.
"Generative Programming for Embedded Systems",
Generative Programming and Component Engineering, (LNCD 2787), pp. 32--49, 2002.
"Hybrid Systems for Robotics",
Encyclopedia of Physical Science and Technology, 3rd Edition, 2001.
"Metamodeling Languages and Metaprogrammable Tools",
Handbook of Real-Time and Embedded Systems: Chapman & Hall (July 23, 2007), pp. 33-1-33-16, 2006.
Download: Metamodeling Languages and Metaprogrammable Tools.pdf (1.02 MB)
"Model Based Techniques for Intelligent Process Control",
Artificial Intelligence in Engineering, vol. 2: Elsevier, pp. 79--94, 1990.
"A Passivity-Based Approach to Group Coordination in Multi-Agent Networks",
Informatics in Control, Automation and Robotics, 1, vol. 89: Springer, 2011.
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
"Two-level Weaving to Support Changeability in Model-Based Synthesis",
Aspect-Oriented Programming, 2003.
- « first
- ‹ previous
- 1
- 2
- 3
- 4
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering