] Filters: Author is Karsai, Gabor [Clear All Filters]
"A Model-Based Approach for Plant-Wide Monitoring Control and Diagnostics",
AIChE Annual Meeting, microfilm, Los Angeles, CA, November, 1991.
"Model-Based Design for CPS with Learning-Enabled Components",
Design Automation for CPS and IoT (DESTION 2019), Montreal, Canada, April 2019.
"Model-Based Fault-Adaptive Control of Complex Dynamic Systems",
IMTC 2003, Vail, CO, May, 2003.
Download: Simon_G_5_20_2003_Model_Base.pdf (385.87 KB)
"Model-Based Programming for Parallel Image Processing",
IEEE International Conference on Image Processing, Austin, TX, pp. 811--815, January, 1994.
"Model-based Software Health Management for Real-Time Systems",
IEEE Aerospace Conference, pp. 1--18, 2011.
Abstract
Download: Paper.pdf (5.83 MB)
"Model-based Software Tools for Integrated Vehicle Health Management",
The Second IEEE International Conference on Space Mission Challenges for Information Technology (SMC-IT), Pasadina, CA, 2006.
Download: Karsai_G_0_0_2006_Model_base.pdf (277.55 KB)
"A Model-driven Software Component Framework for Fractionated Spacecraft",
5th International Conference on Spacecraft Formation Flying Missions and Technologies, Munich, Germany, 2013.
Abstract
Download: f6mdk.pdf (550.9 KB); f6mdk-extended-abstract.pdf (76.81 KB)
"Model-embedded On-line Problem Solving Environment for Chemical Engineering",
International Conference on Engineering of Complex Computer Systems, Ft Lauderdale, FL, pp. 227--233, November, 1995.
Download: Karsai_G_11_6_1995_Model_embe.pdf (180.47 KB)
"Model-Integrated Computing",
Hawaii Systems of the World Manufacturing Congress, Auckland, New Zealand, November, 1997.
"Model-Integrated Development of Complex Applications",
Fifth International Symposium on Assessment of Software Tools, Pittsburgh, PA, pp. 14--23, June, 1997.
Download: Misra_A_6_0_1997_Model_Inte.pdf (235.84 KB)
"A Model-Integrated Information System for Increasing Throughput in Discrete Manufacturing",
International Conference and Workshop on Engineering of Computer Based Systems, Monterey, CA, pp. 203--210, March, 1997.
Download: Misra_A_3_24_1997_A_Model_In.pdf (170.66 KB)
"Model-Integrated Program Synthesis Environment",
Proceedings of the IEEE Symposium on Engineering of Computer Based Systems, Friedrichshafen, Germany, pp. 348--355, March, 2000.
Download: Sztipanovi_J_0_0_2000_Model_Inte.pdf (218.64 KB)
"A Model-Integrated Program Synthesis Environment for Parallel/Real-Time Image Processing",
SPIE Conference on Parallel and Distributed Methods for Image Processing, San Diego, CA, pp. 31--45, June, 1997.
Download: Moore_MS_6_0_1997_A_Model_In.pdf (265.03 KB)
"Model-Integrated System Development: Models, Architecture and Process",
21st Annual International Computer Software and Application Conference (COMPSAC), Bethesda, MD, pp. 176--181, August, 1997.
Download: Karsai_G_8_0_1997_Model_Inte.pdf (4.73 MB)
"Modeling Agent Negotiation",
IEEE International Conference on Systems, Man, and Cybernetics, Proceedings, Nashville, TN, October, 2000.
Download: Sprinkle_JM_10_8_2000_Modeling_A.pdf (181.58 KB)
"A Modeling Framework to Integrate Exogenous Tools for Identifying Critical Components in Power Systems",
CPS Week- MSCPES, 2017.
Download: MSCPES_paper.pdf (867 KB); MSCPES_presentation.pdf (1.23 MB)
"Modeling Parallel Hardware Architectures",
International Conference on Signal Processing Applications and Technology, Boston, MA, pp. 274--281, January, 1992.
"Modeling, Model Interpretation and Intelligent Control",
3rd IEEE International Symposium on Intelligent Control, Arlington , VA, pp. 46--50, 1988.
"Models and Model building in Intelligent Process Control Systems",
IEEE International Symposium on Intelligent Control, pp. 351--357, 1990.
"The Multigraph Approach to Parallel, Distributed, Structurally Adaptive Signal Processing",
IEEE International Conference on Acousitc and Signal Processing, pp. 2037--2040, 1990.
"MULTIGRAPH: An Architecture for Model-Integrated Computing",
Proceedings of the International Conference on Engineering of Complex Computer Systems, Ft. Lauderdale, FL, pp. 361--368, November, 1995.
Download: Sztipanovi_J_11_6_1995_MULTIGRAPH.pdf (146.05 KB)
"The New Metamodeling Generation",
IEEE Engineering of Computer Based Systems, Proceedings, Washington, D.C., USA, pp. 275, April, 2001.
Download: Sprinkle_JM_4_0_2001_The_New_Me.doc (103.5 KB)
"A Novel Approach to Semi-Automated Evolution of DSML Model Transformation",
Second International Conference on Software Language Engineering, SLE 2009, LNCS, vol. 5969, Denver, CO, Springer, pp. 23-41, 05/2010.
"On Metamodel Composition",
IEEE CCA 2001, Mexico City, Mexico, September, 2001.
Download: Ledeczi_A_9_5_2001_On_Metamod.pdf (108.86 KB)
"On the use of Graph Transformations in the Formal Specification of Computer-Based Systems",
IEEE TC-ECBS and IFIP10.1 Joint Workshop on Formal Specifications of Computer-Based Systems, Huntsville, Alabama, pp. 19--27, April, 2003.
Download: Karsai_G_4_9_2003_On_the_use.pdf (224.67 KB)
"Online Safety Control of a Class of Hybrid Systems",
IEEE 2002 Conference on Decision and Control, Las Vegas, USA, pp. 1988--1990, December, 2002.
Download: Abdelwahed_S_12_0_2002_Online_Saf.pdf (96.96 KB)
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
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)
"Plan Execution and Coordination",
Proceedings of ICAPS Workshop: Plan Execution: A Reality Check, Monterey, California, June, 2005.
Abstract
"Polyglot: Modeling and Analysis for Multiple Statechart Formalisms",
International Symposium on Software Testing and Analysis (ISSTA), Toronto, Canada, 07/2011.
Abstract
Download: ISSTA2011.pdf (1.53 MB)
"Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems",
2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS), Berlin, Germany, IEEE, pp. 1-1, April, 2016.
Abstract
"Programming Model for Distributed Intelligent Systems",
Proceedings of the Conference on Artificial Intelligence for Space Applications, pp. 365--373, 1986.
"Rapid Property Specification and Checking for Model-Based Formalisms",
IEEE International Symposium on Rapid System Prototyping, Karlsruhe, Germany, 05/2011.
Abstract
Download: RSP2011.pdf (2.08 MB)
"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)
"A Rapid Testing Framework for a Mobile Cloud Infrastructure",
IEEE International Symposium on Rapid System Prototyping (RSP): IEEE, 10/2014.
Download: RSP2014.pdf (874.05 KB)
"A Real-Time Component Framework: Experience with CCM and ARINC-653",
IEEE International Symposium on Object-Oriented Real-Time Distributed Computing,, Spain, pp. 143--150, 2010.
Abstract
Download: Paper.pdf (5.46 MB)
"Real-Time Fault Diagnostics with Multiple-Aspect Models",
IEEE International Conference on Robotics and Automation, Sacramento, CA, pp. 803--808, April, 1994.
"Reliable Distributed Real-time and Embedded Systems Through Safe Middleware Adaptation",
31st International Symposium on Reliable Distributed Systems (SRDS 2012), Irvine, California, USA, IEEE, 10/2012.
Download: srds2012_submission_88.pdf (665.22 KB)
"Resilience at the Edge in Cyber-Physical Systems",
The 2nd International Conference on Fog and Mobile Edge Computing, Valencia, Spain, IEEE, 05/2017.
Abstract
Download: main.pdf (1.06 MB)
"Reusable Idioms and Patterns in Graph Transformation Languages",
2nd International Conference on Graph Transformation, Rome, Italy, September, 2004.
Download: Agrawal_A_9_28_2004_Reusable_I.pdf (254.95 KB)
"RIAPS:Resilient Information Architecture Platform for Decentralized Smart Systems",
20th IEEE INTERNATIONAL SYMPOSIUM ON REAL-TIME COMPUTING, Toronto, Canada, IEEE, 05/2017.
Abstract
Download: paper.pdf (1.43 MB)
"Robust Diagnosis of Switching Systems",
5th IFAC Symposium on Fault Detection, Supervision and Safety of Technical Processes, Washington, DC., June, 2003.
Download: Abdelwahed_S_6_0_2003_Robust_Dia.pdf (119.56 KB)
"A robust method for hybrid diagnosis of complex systems",
5th Symposium on Fault Detection, Supervision and Safety for Technical Processes, Washington, DC, pp. 1125--1131, June, 2003.
Download: Biswas__G_6_0_2003_A_robust_m.pdf (522.4 KB)
"Robust State-based Supervisory Control of Discrete Event Systems",
IEEE Conference on Control Application, Toronto, Canada, August, 2005.
"ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS",
Rapid System Prototyping Symposium (ESWEEK), Amsterdam, The Netherlands, 2015.
Download: 2015--RSP--ROSMOD - A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS.pdf (7.72 MB)
"Self-Adaptive Software for Fault-Adaptive Control",
Third Intl. Workshop on Self-Adaptive Software, Washington, D.C., June, 2003.
"Simulation of Network Attacks on SCADA Systems",
First Workshop on Secure Control Systems, Cyber Physical Systems Week 2010, 04/2010.
Abstract
Download: ScadaSystemsSimulationsUsingC2WT.pdf (124.34 KB)
"A Simulation Testbed for Cascade Analysis",
IEEE PES Innovative Smart Grid Technologies (ISGT), 2017.
Abstract
Download: ISGT_2017_paper1.pdf (728.09 KB); ISGT_2017_presentation.pdf (857.13 KB)
"SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-hoc Networks",
The 14th IEEE/ACM International Symposium on Distributed Simulation and Real Time Applications (DS-RT 2010), Fairfax, VA, pp. 179-188, 10/2010.
Abstract
Download: Paper.pdf (1013.92 KB)
"A Software Platform for Fractionated Spacecraft",
2012 IEEE Aerospace Conference, Big Sky, Montana, 03/2012.
Abstract
Download: aerospace12-1473.pdf (4.2 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering