] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"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)
"Model-Based Integration Platform for FMI Co-Simulation and Heterogeneous Simulations of Cyber-Physical Systems",
10th International Modelica Conference, vol. Proceedings of the 10th International Modelica Conference, Lund University, Solvegatan 20A, SE-223 62 LUND, SWEDEN, Modelica Association and Linkoping University Electronic Press, pp. 235-245, 03/2014.
Abstract
Download: Neema_H_12_8_2013_Modelica_2014_FMUCS_HLA.PDF (536.88 KB)
"Model-driven Automated Deployment of Large-scale CPS Co-simulations in the Cloud",
MODELS 2017 Satellite Event: Posters co-located with {ACM/IEEE} 20th International Conference on Model Driven Engineering Languages and Systems, Austin,TX,USA, pp. 463–464, 09/2017.
Abstract
Download: posters_1.pdf (641.33 KB)
"Networked Control System Wind Tunnel (NCSWT) - An evaluation tool for networked multi-agent systems",
Fourth International ICST Conference on Simulation Tools and Techniques (SIMUTools), 2011.
"Networked Control System Wind Tunnel (NCSWT)- An evaluation tool for networked multi-agent systems",
4th International ICST Conference on Simulation Tools and Techniques (SIMUTools 2011), Barcelona, Spain, 03/2011.
Abstract
"PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems",
19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011.
Abstract
"Architecture of Intelligent Medical Instruments",
Journal of Biomedical Measurements Informatics and Control, London, UK, vol. 1, pp. 140--146, 1987.
"A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems",
Simulation Modelling Practice and Theory, vol. 43, 04/2014.
"Composition and Cloning in Modeling and Meta-Modeling",
IEEE Transactions on Control System Technology, December, 2003.
"Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages",
International Journal of Semantic Computing, vol. 3, no. 1, pp. 31-56, 03/2009.
"Computer-Automated Multi-Paradigm Modeling in Control Systems technology",
IEEE Transactions on Automatic Control, 2003.
"A Computing Model for Semantic Control",
Applied Mathematics Letters, vol. 2, pp. 273--276, 1989.
"Concepteur Cognitif D'Experimentation Pour L'Instrumentation",
Innovation et Technologie en Biologie et Medicine, vol. 10, pp. 203--210, 1989.
"Developing applications using model-driven design environments",
IEEE Computer, vol. 39, pp. 33--40, March, 2006.
"Digital Control of Multiple Discrete Passive Plants Over Networks",
International Journal of Systems, Control and Communications (IJSCC), no. Special Issue on Progress in Networked Control Systems, 2011.
Abstract
"Formalizing the Structural Semantics of Domain-Specific Modeling Languages",
Journal of Software and Systems Modeling (SoSym), vol. In Press, 2009.
Download: jackson_sztipanovits_sysym_2009.pdf (1.53 MB)
"Graph Model-Based Approach to the Representation, Interpretation and Execution of Real-Time Signal Processing Systems",
International Journal of Intelligent Systems, vol. 3, pp. 269--280, 1988.
"Increasing Productivity at Saturn",
IEEE Computer Magazine, August, 1998.
"Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum",
ACM Transactions on Embedded Systems, 2005.
"Knowledge-Based Techniques in Instrumentation",
IEEE EMBS Magazine, vol. 7, pp. 13--17, 1988.
"Model and Tool Integration Platforms for Cyber-Physical System Design",
Proceedings of the IEEE, 2018.
Download: Manuscript-Integration Platforms PIEE 2018.pdf (1.09 MB)
"Model Based Intelligent Process Control for Cogenerator Plants",
Journal of Parallel and Distributed Systems, vol. 15, pp. 90--103, June, 1992.
Download: Karsai_G_0_0_1992_Model_Base.pdf (545.01 KB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering