] Filters: Author is Joseph Porter [Clear All Filters]
"Semantics of Domain Specific Modeling Languages",
Model-Based Design for Embedded Systems, Boca Raton, FL, CRC Press, pp. 437-486, 2009.
"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)
"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)
"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)
"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)
"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
"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.
"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.
"Online Stability Validation Using Sector Analysis",
International Conf. on Embedded Software (EMSoft), Scottsdale, AZ, ACM, pp. 29-38, 10/2010.
Abstract
"Partition Configuration for Real-Time Systems With Dependencies",
21st International Conference on Real-Time Networks and Systems, Sophia Antipolis, France, ACM, pp. 87-96, 10/2013.
Abstract
"A Simulation Framework for Design of Mixed Time-Event-Triggered Distributed Control Systems with SystemC/TLM",
The 3rd Analytic Virtual Integration of Cyber-Physical Systems Workshop, San Juan, Puerto Rico, 12/2012.
Download: AVICPS'12.pdf (1.52 MB)
"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.
"PaNeCS: A Modeling Language for Passivity-based Design of Networked Control Systems",
19th Mediterranean Conference on Control and Automation, Corfu,Greece, 06/2011.
Abstract
"A Co-Simulation Framework for Design of Time-Triggered Automotive Cyber Physical Systems",
Simulation Modelling Practice and Theory, vol. 43, 04/2014.
"Compositional Specification of Behavioral Semantics for Domain-Specific Modeling Languages",
International Journal of Semantic Computing, vol. 3, no. 1, pp. 31-56, 03/2009.
"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 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
"New Developments in Model-Integrated Development of High-Confidence Software",
Safe and Secure Systems & Software Symposium, Beavercreek, OH, 06/2010.
A Backstepping Control Framework for m-Triangular Systems,
, Nashville, Institute for Software Integrated Systems, pp. 1-13, 04/28/2011.
Abstract
Download: official_sop_bstep_press_Apr_28_2011.pdf (554.37 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)
"Digital Passive Attitude and Altitude Control Schemes for Quadrotor Aircraft",
Technical Report, Nashville, TN, Institute for Software Integrated Systems, Vanderbilt University, pp. 1-8, 11/2008.
Abstract
Download: uav_tr_revised_11_08_2011.pdf (486.61 KB); tr_uav_revised_03_31_2010.pdf (701.83 KB); uav_tr_revised_10_15_2009.pdf (618.44 KB); tr_uav_11_2008.pdf (430.14 KB)
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)
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)
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)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering