Home

ISIS Publications

Export 91 results:
Sort by: Author Title [ Type (Desc)] Year
Filters: First Letter Of Title is D  [Clear All Filters]
Thesis
Karsai, G., Declarative Programming Techniques for Engineering, : Vanderbilt University, 1988.
Narayanan, A., "Declarative Techniques for Unparsing Complex Data Structures", Master's Thesis: Vanderbilt University, April, 2004.  Download: Narayanan_A_4_1_2004_Declarativ.pdf (238.33 KB)
Biegl, C., Design and Implementation of an Execution Environment for Knowledge-Based Systems, : Vanderbilt University, 1988.
Report
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative Reasoning in Software Health Management", ISIS Technical Report, no. ISIS-13-101: Institute for Software Integrated Systems, Vanderbilt University, Nashville, TN, 37212, 04/2013.  Download: TechReport2013.pdf (1.29 MB)
Neema, S., J. Davis, B. Eames, and A. Ledeczi, "Design Representation Issues in Polymorphous Computing", ISIS-01-202: Institute for Software Integrated Systems, January, 2001.  Download: Neema_S_1_30_2001_Design_Rep.pdf (2.93 MB)
Neema, S., "Design Space Representation and Management for Model-Based Embedded System Synthesis", ISIS-01-203: Institute for Software Integrated Systems, February, 2001.  Download: Neema_S_2_0_2001_Design_Spa.pdf (213.02 KB)
Neema, S., J. Sztipanovits, and G. Karsai, "Design-Space Construction and Exploration in Platform-Based Design", ISIS-02-301: Institute for Software Integrated Systems, June, 2002.  Download: Neema_S_6_24_2002_Design_Spa.pdf (379.45 KB)
Kandasamy, N., and S. Abdelwahed, Designing Self-Managing Distributed Systems using Online Predictive Control, : Institute for Software Integrated Systems, December, 2003.
Biswas, G., K. Leelawong, K. Belynne, K. Viswanath, D. Schwartz, and J. Davis, "Developing learning by teaching environments that support self-regulated learning", Intelligent Tutoring Systems: Vol. 3220. Lecture Notes in Computer Science, Maceió, Brazil, Springer, pp. 730-740, 2004.
Misra, A., J. Sztipanovits, A. Underbrink, and R. Carnes, Diagnosability Analysis and Robust Diagnostics with Multiple Aspect Modeling, , Abstracts of the NASA Workshop on Model-Based Diagnosis and Monitoring; Pasadena, CA, Institute for Software Integrated Systems, January, 1992.
Kottenstette, N., and P. J. Antsaklis, "Digital Control Networks for Continuous Passive Plants Which Maintain Stability Using Cooperative Schedulers", Technical Report, Notre Dame, IN, ISIS Lab University of Notre Dame, pp. 1-13, 2007. Abstract
Kottenstette, N., J. Hall, X. Koutsoukos, P. J. Antsaklis, and J. Sztipanovits, "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)
Kottenstette, N., and J. Porter, "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)
Maroti, M., The Directed Flood Routing Framework, : Institute for Software Integrated Systems, February, 2004.  Download: Maroti_M_2_12_2004_The_Direct.pdf (267.33 KB)
Dubey, A., "A Discussion on Supervisory Control Theory in Real-Time Discrete Event Systems", ISIS Technical Report, no. ISIS-09-112, 11/2009.  Download: TechReport.pdf (2.43 MB)
Kottenstette, N., Dual-Tone Multiple Frequency Detection and Estimation, , Notre Dame, IN, University of Notre Dame, 12/2004.  Download: 2004-kott-dtmf-tr.zip (4.13 MB)
Journal Article
Mahadevan, N., A. Dubey, D. Balasubramanian, and G. Karsai, "Deliberative, search-based mitigation strategies for model-based software health management", Innovations in Systems and Software Engineering: Springer London, pp. 1-26, 2013.  Download: Paper.pdf (16.09 MB)
Subramanian, V., G. Deng, C. Gill, J. Balasubramanian, L. SHEN, W. R. Otte, D. C. Schmidt, A. Gokhale, and N. Wang, "The design and performance of component middleware for QoS-enabled deployment and configuration of DRE systems☆", Journal of Systems and Software, vol. 80, issue 5, pp. 668 - 677, 05/2007.
Agrawal, A., G. Karsai, S. Neema, F. Shi, and A. Vizhanyo, "The Design of a Language for Model Transformations", Journal on Software and System Modeling, vol. 5, pp. 261--288, September, 2006.  Download: Agrawal_A_0_0_2005_The_Design.pdf (2.09 MB)
Koutsoukos, X., and P. Antsaklis, "Design of Stabilizing Switching Control Laws for Discrete-and Comtinuous- Time Linear Systems Using Piecewise-Linear Lyapunov Functions", International Journal Control, vol. 75, pp. 932--945, 2002.  Download: Koutsoukos_X_0_0_2002_Design_of_.pdf (157.74 KB)
Karsai, G., A. Lang, and S. Neema, "Design Patterns for Open Tool Integration", Journal of Software and System Modeling, vol. 4, 2004.
Leelawong, K., and G. Biswas, "Designing learning by teaching agents: The Betty's Brain system", International Journal of Artificial Intelligence in Education, vol. 18, no. 3, 2008.
Balasubramanian, K., J. Balasubramanian, G. Karsai, J. Sztipanovits, and S. Neema, "Developing applications using model-driven design environments", IEEE Computer, vol. 39, pp. 33--40, March, 2006.
Juracz, L., "Developing courses with HoloRena, a framework for scenario- and game based e-learning environments", International Journal of Software Engineering & Applications (IJSEA), vol. 1, no. 4, pp. 1-17, 10/2010.
Hsu, C. - K., G. - J. Hwang, and C. - K. Chang, "Development of a reading material recommendation system based on a knowledge engineering approach", Computers & Education, vol. 55, issue 1, pp. 76 - 83, 08/2010.
Dubey, A., G. Karsai, P. Volgyesi, M. Metelko, I. Madari, H. Tu, Y. Du, and S. Lukic, "Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid", Embedded System Letters, 05/2018.  Download: ESL_Paper.pdf (566 KB)
Biswas, G., M. - O. Cordier, J. Lunze, L. Trave-Massuyes, and M. Staroswiecki, "Diagnosis of Complex Systems: Bridging the Gap between the FDI and DX communities", IEEE Trans. on Systems, Man, and Cybernetics, Part B, vol. 34, pp. 2139--2142, October, 2004.  Download: Biswas__G_10_0_2004_Diagnosis_.pdf (627.75 KB)
Mosterman, P., and G. Biswas, "Diagnosis of Continuous Valued Systems in Transient Operating Regions", IEEE Transactions on Systems, Man, and Cybernetics, vol. 29, issue 6, pp. 554-565, November, 1999.  Download: ISIS_11_0_1999_Diagnosis_.pdf (246.82 KB)
Ledeczi, A., J. Sallai, P. Volgyesi, and R. Thibodeaux, "Differential Bearing Estimation for RF Tags", EURASIP Journal of Embedded Systems, vol. (in press), xx/2009. Abstract
Kottenstette, N., J. Hall, X. Koutsoukos, P. Antsaklis, and J. Sztipanovits, "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
Sprinkle, J., and G. Karsai, "A Domain-Specific Visual Language for Domain Model Evolution", Journal of Visual Languages and Computing, vol. 15, April, 2004.  Download: Sprinkle_JM_4_0_2004_A_Domain_S.pdf (328.86 KB)
Levendovszky, T., A. Dubey, W. R. Otte, D. Balasubramanian, A. Coglio, S. Nyako, W. Emfinger, P. Kumar, A. Gokhale, and G. Karsai, "DREMS: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems", IEEE Software, vol. 99: IEEE Computer Society, 2014. Abstract  Download: f6paper.pdf (3.95 MB); Final.pdf (3.33 MB)
Conference Proceedings
Sun, F., A. Dubey, C. Kulkarni, N. Mahadevan, and A. G. Luna, "A Data Driven Health Monitoring Approach to Extending Small Sats Mission", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY 2018, 09/2018. Abstract  Download: data-driven-health.pdf (2.29 MB)
Dabholkar, A., and A. Gokhale, "Developing and Evaluating a Taxonomy of Modularization Techniques for Middleware Specialization", 2nd OOPSLA Workshop on Assessment of Contemporary Modularization Techniques (ACoM 2008), Nashville, TN, USA, 10/2008.  Download: ACoM-2008.pdf (350.81 KB)
Bai, J., E. P. Eyisi, Y. Xue, and X. Koutsoukos, "Distributed Sampling Rate Adaptation for Networked Control Systems", The First International Workshop on Cyber-Physical Networking Systems(CPNS) in conjunction with INFOCOM, 2011.
Wagster, J., J. Tan, Y. Wu, G. Biswas, and D. Schwartz, "Do learning by teaching environments with metacognitive support help students develop better learning behaviors?", The 29th Annual Meeting of the Cognitive Science Society, Nashville, TN, pp. 695-700, 2007.
Dubey, A., G. Karsai, A. Gokhale, W. Emfinger, and P. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", Space Mission Challenges for Information Technology (SMC-IT), 2017. Abstract  Download: paper.pdf (1.42 MB)
Dubey, A., G. Karsai, A. Gokhale, W. Emfinger, and P. S. Kumar, "DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems", International Conference on Space Mission Challenges for Information Technology (SMC-IT), 2017, 09/2017. Abstract  Download: main.pdf (951.36 KB)
Emfinger, W., P. S. Kumar, A. Dubey, W. Otte, A. Gokhale, and G. Karsai, "DREMS: A Toolchain and Platform for the Rapid Application Development, Integration and Deployment of Managed Distributed Real-time Embedded Systems", Real-time Systems Symposium, 2013.  Download: RTSS.pdf (8.55 MB)
Shekhar, S., "Dynamic Data Driven Cloud Systems for Cloud-Hosted CPS", 2016 IEEE International Conference on Cloud Engineering Workshop (IC2EW), pp. 195-197, April, 2016.
Conference Paper
Naug, A., and G. Biswas, "Data Driven Methods for Energy Reduction in Large Buildings", 4th IEEE International Conference on Smart Computing(SMARTCOMP 20018), Taormina, Sicily, Italy, IEEE Xplore, 07/2018. Abstract  Download: Data Driven Methods for Energy Reduction in Large Buildings.pdf (678.98 KB)
Basak, S., A. Aman, A. Laszka, A. Dubey, and B. Leao, "Data-Driven Detection of Anomalies and Cascading Failures in Traffic Networks", ANNUAL CONFERENCE OF THE PROGNOSTICS AND HEALTH MANAGEMENT SOCIETY , 2019. Abstract  Download: PHM_traffic_cascades_paper.pdf (1.91 MB)
Basak, S., F. Sun, S. Sengupta, and A. Dubey, "Data-Driven Optimization of Public Transit Schedule", Big Data Analytics (BDA 2019), Ahmedabad, Gujarat, India, Springer, Dec, 2019. Abstract  Download: bda_2019_optimization.pdf (2.23 MB)
Wellons, J., and J. Wisneski, "DAUTI: Automated Universal Traffic Introspector", International Lisp Conference with ACM SIGPLAN, Cambridge, England, May, 2007.
Frampton, K., "Decentralized Control Of Structural Acoustic Radiation", ASME IMECE, 2001.  Download: Frampton_K_0_0_2001_Decentrali.pdf (359.91 KB)
Frampton, K., "Decentralized Vibration Control in a Launch Vehicle Payload Fairing", International Mechanical Engineering Conference and Exhibition, IMECE2002-33352, New Orleans, LA, November, 2002.  Download: Frampton_K_11_0_2002_DECENTRALI.pdf (392.61 KB)
Kinnebrew, J. S., A. Gupta, N. Shankaran, G. Biswas, and D. C. Schmidt, "A Decision-Theoretic Planner with Dynamic Component Reconfiguration for Distributed Real-Time Applications", The Eighth International Symposium on Autonomous Decentralized Systems (ISADS): Sedona, Arizona, pp. 461 -472, 03/2007. Abstract  Download: Kinnebrew et al - 2007 - ISADS -- Decision-Theoretic Planner w Dynamic Component Reconfig for Distrib RT Apps.pdf (343.84 KB)
Sogokon, A., K. Ghorbal, and T. T. Johnson, "Decoupling Abstractions of Non-linear Ordinary Differential Equations", FM 2016, 21st International Symposium on Formal Methods, vol. 9995 Lecture Notes in Computer Science, Limassol, Cyprus, Springer, pp. 628-644, 11/2016. Abstract  Download: decoupling-abstractions-fm-2016.pdf (366.46 KB)
Oruganti, A., F. Sun, H. Baroud, and A. Dubey, "DelayRadar: A Multivariate Predictive Model for Transit Systems", Big Data (Big Data), 2016 IEEE International Conference on, Dec, 2016. Abstract  Download: delayradar-multivariate-predictive.pdf (556.02 KB)
Dubey, A., N. Mahadevan, and G. Karsai, "A Deliberative Reasoner for Model-Based Software Health Management", The Eighth International Conference on Autonomic and Autonomous Systems, St. Maarten, Netherlands Antilles, 03/2012. Abstract  Download: Paper.pdf (369.11 KB)