] Filters: Author is Sztipanovits, Janos [Clear All Filters]
"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
"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
"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)
"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.
"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)
"SURE: A Modeling and Simulation Integration Platform for Evaluation of SecUre and REsilient Cyber-Physical Systems",
Proceedings of the IEEE: IEEE, 2017.
"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
"Applying Decentralized Information Flow Labels to Component-Based Software Systems Deployment",
Technical Report, no. ISIS-15-118, Nashville, ISIS Vanderbilt University, 09/2014, 2015.
Download: System-Level-Codesign.pdf (252.89 KB)
The META Toolchain: Accomplishments and Open Challenges,
, no. ISIS-15-102, 2015.
Download: The META Toolchain_Accomplishments and Open Challenges.pdf (871.55 KB)
"A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems",
Simulation Modelling Practice and Theory, vol. 43, 04/2014.
"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)
"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)
A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems,
, pp. 39, 08/2013.
Download: TR-13-104.pdf (3.02 MB)
"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)
"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)
"Model-based control design and integration of cyberphysical systems: an adaptive cruise control case study",
Journal of Control Science and Engineering, vol. 2013, pp. 1-15, 01/2013.
Abstract
"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)
"Multi-Way Semantic Specification of Domain-Specific Modeling Languages",
IEEE 20th International Conference and Workshops on the Engineering of Computer Based Systems (ECBS), 2013.
"Towards a Theory for Cyber-Physical Systems Modeling",
Proceedings of the 3rd Workshop on Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy), 2013.
"A passivity approach for model-based compositional design of networked control systems",
ACM Transactions on Embedded Computing Systems, vol. 11, no. 4, pp. 75:1-75:31, 12/2012.
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)
"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.
"PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems",
19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011.
Abstract
"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.
Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models,
, no. ISIS-11-106, Nashville, TN, ISIS, Vanderbilt University, 04/2011.
Abstract
Download: incr_cycle_analysis.pdf (1.08 MB)
"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
"Rapid Synthesis of High-Level Architecture-Based Heterogeneous Simulation: A Model-Based Integration Approach",
SIMULATION, vol. March 17, 2011 0037549711401950, no. March 17, 2011, Online, Simulation: Transactions of the Society for Modeling and Simulation International, pp. 16, 03/2011.
Abstract
Download: 0037549711401950.full_.pdf (815.53 KB)
"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
"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.
"A Passivity-Based Approach to Group Coordination in Multi-Agent Networks",
Informatics in Control, Automation and Robotics, 1, vol. 89: Springer, 2011.
"Towards Incremental Cycle Analysis in ESMoL Distributed Control System Models",
Software Composition (SC 2011), vol. LNCS 6708, Zurich, Springer, pp. 133-140, 2011.
"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)
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
The ESMoL Language and Tools for High-Confi dence Distributed Control Systems Design. Part 1: Language, Framework, and Analysis,
, Nashville, TN, Vanderbilt University, 09/2010.
Download: ESMoL_TR.pdf (3.99 MB)
"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)
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
"A Passivity-Based Approach To Deployment In Multi-Agent Networks",
Seventh International Conference on Informatics in Control, Automation and Robotics (ICINCO 2010), Funchal, Madeira - Portugal, SciTePress, pp. 53-62, 06/2010.
Download: ICINCO_2010_265_CR_press.pdf (581.69 KB)
"A Passivity-Based Approach to Deployment in Multi-Agent Networks",
7th International Conference on Informatics in Control, Automation and Robotics, vol. 1, Funchal, Madeira - Portugal, SciTePress, pp. 53–62, 06/2010.
Download: ICINCO_2010_265_CR.pdf (555.39 KB)
A Model-Based Integration of Network Emulation with HLA-based Heterogeneous Simulation Environments,
, no. ISIS-10-107, 2010.
Download: milcom10-xue.docx (132.74 KB)
"System and software architectures of distributed smart cameras",
ACM Transactions on Embedded Computing Systems, vol. 9, no. 4, pp. 1-30, 2010.
"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
"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)
"Model Based Integration and Experimentation of Information Fusion and C2 Systems",
FUSION '09. 12th International Conference on Information Fusion, Seattle, WA, 07/2009.
Abstract
Download: Paper.pdf (556.87 KB)
"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
PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems,
, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, 05/2009.
Abstract
Download: models_paper_tr_aces_update.pdf (528.51 KB); ModelsPaper.pdf (523.78 KB)
"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)
"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)
"Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages",
International Journal of Semantic Computing, vol. 3, no. 1, pp. 31-56, 03/2009.
"Digital Control of Multiple Discrete Passive Plants Over Networks",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-16, 03/2009.
Abstract
Download: tr_power_junction_revised_8_2009.pdf (1.12 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering