] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"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.
"Activity Modeling",
Foundation of Computer Aided Process Design, microfilm publication, Snowmass, CO, July, 1994.
"Application of the Multigraph Architecture in Intelligent Patient Monitoring",
IEEE-EMBS Annual Conference, San Diego, CA, October, 1993.
"Architecture of Intelligent Medical Instruments",
7th Annual IEEE/EMBS Conference, Chicago, IL, pp. 1132--1136, 1985.
"Automated synthesis of time-triggered architecture-based TrueTime models for platform effects simulation and analysis",
Rapid System Prototyping, Fairfax, VA, IEEE, pp. 1-7, 10/2010.
Abstract
Download: RSP10.pdf (349.64 KB)
"Automated Testing and Integration of Heterogeneous Systems",
Proceedings of the Intersociety Energy Conversion Engineering Conference, Philadelphia, PA, pp. 145--154, 1987.
"Automatic Parallel Program Generation for Aerospace Testing",
9th AIAA Conference on Computing in Aerospace, San Diego, CA, pp. 434--440, January, 1993.
"C2WT-TE: A Model-Based Open Platform for Integrated Simulations of Transactive Smart Grids",
2016 Workshop on Modeling and Simulation of Cyber-Physical Energy Systems, Vienna, Austria, 04/2016.
Abstract
"Co-Simulation Framework for Design of Time-Triggered Cyber Physical Systems",
ACM/IEEE 4th International Conference on Cyber-Physical Systems (ICCPS), Philadelphia, PA, ACM, pp. 119-128, 04/2013.
Abstract
Download: iccps'13.pdf (1.29 MB)
"Constraint-Based Design-Space Exploration and Model Synthesis",
EMSOFT 2003, LNCS 2855, Philadelphia, PA, October, 2003.
Download: Neema_S_10_2_2003_Constraint.pdf (140.03 KB)
"Constructive Techniques for Meta- and Model-Level Reasoning",
Models'07, Nashville, TN, 10/2007.
Abstract
Download: jackson_MODELS07.pdf (256.29 KB)
"Cooperative Systems for Real-Time Process Monitoring and Diagnostics",
Proceeding of the AI-Japan, Osaka, Japan, 1987.
"Correct-ed through Construction: A Model-based Approach to Embedded Systems Reality",
13th Annual IEEE International Conference on the Engineering of Computer Based Systems, Potsdam, Germany, March, 2006.
Download: Jackson_EK_3_27_2006_Correct_ed.pdf (305.84 KB)
"Design of Intelligent Instrumentation",
First Conference on Artificial Intelligence Applications, Denver, CO, pp. 490--495, 1984.
"Design Space Exploration and Manipulation for Cyber Physical Systems",
IFIP First International Workshop on Design Space Exploration of Cyber-Physical Systems (IDEAL' 2014), Berlin, Germany, Springer, 04/2014.
Abstract
Download: Himanshu_DSEMForCPS.PDF (773.23 KB)
"Diagnosability of Dynamical Systems",
Third International Workshop on Principles of Diagnosis, Rosario, WA, October, 1992.
Download: Misra_A_10_0_1992_Diagnosabi.pdf (193.24 KB)
"Diagnosis of Discrete Event Systems Using Ordered Binary Decision Diagrams",
Seventh International Workshop on Principles of Diagnosis, Val Morin, Quebec, October, 1996.
Download: Sztipanovi_J_10_0_1996_Diagnosis_.pdf (71.52 KB)
"Discrete-Time IDA-Passivity Based Control of Coupled Tank Processes Subject To Actuator Saturation",
3rd International Symposium on Resilient Control Systems, Idaho Falls, ID, IEEE, pp. 115-120, 08/2010.
Abstract
Download: ida_pbc_res_press.pdf (227.54 KB)
"Efficient Integration of Web Services in Ambient-aware Sensor Network Applications",
Basenets, San Jose, CA, October, 2006.
Download: Amundson_I_10_1_2006_Efficient_.pdf (849.01 KB)
"The ESMoL Modeling Language and Tools for Synthesizing and Simulating Real-Time Embedded Systems",
15th IEEE Real-Time and Embedded Technology and Applications Symposium, San Francisco, CA, 04/2009.
Abstract
Download: rtas_demo_2009.pdf (491.24 KB)
"Evolutionary Design for Manufacturing Execution Systems",
World Manufacturing Congress, Auckland, New Zealand, November, 1997.
Download: Misra_A_11_0_1997_Evolutiona.pdf (171.95 KB)
"Execution Environment for Intelligent Real-time Control Systems",
NASA/JPL Symposium on Telerobotics, Pasadena, CA, pp. 131--139, 1987.
"Execution Environment for Intelligent Real-Time Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 807--811, 1986.
"Experiences Using Model-Based Techniques for the Development of a Large Parallel Instrumentation System",
Proceedings of the International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 573--582, February, 1992.
"Experiment Design Language for Intelligent MRI Systems",
8th Annual IEEE/EMBS Conference, Dallas, TX, pp. 803--807, 1986.
"An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software",
20th IEEE/IFIP International Symposium on Rapid System Prototyping (RSP'09), Paris, France, 06/2009.
Abstract
"Finite-State temporal Automata Modeling for Fault Diagnosis",
Computing in Aerospace, 9th AIAA Conference, Sand Diego, 1993.
"Foundation for Model Integration: Semantic Backplane",
Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE, 2012.
"A Framework for Unambiguous and Extensible Specification of DSMLs for Cyber-Physical Systems",
IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), Phoenix, AZ, IEEE, pp. 30-39, 2013.
Download: ECBS2013.pdf (416.4 KB)
"Graph-Based Real-Time Fault Diagnostics",
4th Conference on Artificial Intelligence for Space Applications, Huntsville, AL, pp. 115--123, January, 1988.
"Graphical Programming for the Transputer",
Proceedings of the 22nd Southeastern Symposium on System Theory, pp. 86--90, March, 1990.
"Hierarchical Structure of Intelligent Patient Monitoring System",
Finnish National Conference on Artificial Intelligence, pp. 123--128, 1988.
"High Confidence Embedded Software Design: A Quadrotor Helicopter Case Study",
International Conference on Cyber-Physical Systems (ICCPS) (Work-in-Progress Session), Chicago, IL, IEEE Computer Society Press, 04/2011.
"Implementing a Model-Based Design Environment for Clinical Information Systems",
Workshop on Model-Based Trustworthy Health Information Systems (MOTHIS 2007), Nashville, TN, 09/2007.
Abstract
Download: Mathe.et_.al-MOTHIS.2007.Paper-Implementing_MICIS.pdf (675.25 KB)
"Implementing a MOF-Based Metamodeling Environment Using Graph Transformations",
4th OOPSLA Workshop on Domain-Specific Modeling, Vancouver, Canada, pp. 83--92, October, 2004.
Download: Emerson_MJ_10_0_2004_Implementi.pdf (128.37 KB)
"Integrated Analysis Environment for High Impact Systems",
Proceedings of the Engineering of Computer Based Systems, Jerusalem, Israel, pp. 218--225, April, 1998.
Download: Davis_J_9_0_1998_Integrated.pdf (141.59 KB)
"An Integrated Multi-Domain Analysis Environment for High Consequence Systems",
Proceedings of the 1998 ASME Design Engineering Technical Conference / Computers in Engineering, Paper No. 5532, Altanta, GA, September, 1998.
Download: Davis_J_9_0_1998_An_Integtr.pdf (251.31 KB)
"Integrating Security Modeling in Embedded System Design",
12th IEEE Real-Time and Embedded Technology and Applications Symposium, San Jose, CA, April, 2006.
Abstract
Download: Werner_J_4_4_2006_Integratin.pdf (132.39 KB)
"Integrating Security Modeling into Embedded System Design",
ECBS 2007, Tucson, Arizona, 2006.
Download: ISIS_0_0_2006_Integratin.pdf (324.18 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering