Fault-Adaptive Autonomy in Systems with Learning-Enabled Components

by Daniel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon Koutsoukos, Gabor Karsai
Published 2021-09-01

Model-Based Control Design and Integration of Cyberphysical Systems: An Adaptive Cruise Control Case Study

by Emeka Eyisi, Zhenkai Zhang, Xenofon Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
Published 2013-01-01

Hierarchical Reasoning about Faults in Cyber-Physical Energy Systems using Temporal Causal Diagrams

by Ajay D Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Saqib Hasan, Daniel Balasubramanian, Gabor Karsai
Published 2018-01-01

ROSMOD: A Toolsuite for Modeling, Generating, Deploying, and Managing Distributed Real-time Component-based Software using ROS

by Pranav Srinivas Kumar, William Emfinger, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Amrutur Anilkumar
Published 2016-09-01

Using Model-based techniques for improving performance and reliability in high performance scientific computing

by Dubey, Abhishek
Published 2009

A Multi-Domain Functional Dependency Modeling Tool Based on Extended Hybrid Bond Graphs

by Lattmann, Zsolt
Published 2010

Reusable Model Transformation Techniques for Automating Middleware QoS Configuration in Distributed Real-time and Embedded Systems

by Kavimandan, Amogh
Published 2008

The Precise Construction of Patient Protocols: Modeling, Simulation and Analysis of Computer Interpretable Guidelines

by Mathe, Janos Laszlo
Published 2012

DEPLOYMENT AND CONFIGURATION OF COMPONENT-BASED DISTRIBUTED, REAL-TIME AND EMBEDDED SYSTEMS

by Deng, Gan
Published 2008

AN EVALUATION OF MACHINE LEARNING TECHNIQUES IN INTRUSION DETECTION

by Lee, Christina Mei-Fang
Published 2007

Interpretive Parsing Techniques for Building Object Networks

by Somogyi, Nora Eva
Published 2005

Constraint Programming Approach to the TAEMS Scheduling Problem

by Datta, Soumita
Published 2006

ACCURACY ENHANCEMENTS FOR ROBUST TOA ESTIMATION ON RESOURCE CONSTRAINED MOBILE PLATFORMS

by Chhokra, Kumar Gaurav
Published 2004

Verification of Model Transformations

by Narayanan, Anantha
Published 2008

Behavioral Semantics of Modeling Languages: A Pragmatic Approach

by Balasubramanian, Daniel Allen
Published 2011

HIGH PRECISION AUTOMATIC SCHEDULING OF TASK SETS FOR MICROCONTROLLERS

by Ness, Benjamin
Published 2008

Developing SCADA Simulations with C2WindTunnel

by Davis, Thomas Andrew Jr.
Published 2011

Integrated Timing Analysis and Verification of Component-based Distributed Real-time Systems

by Kumar, Pranav Srinivas
Published 2016

An Extensible Visual Constraint Language

by Broll, Brian Daniel
Published 2018

Large-Scale Integration of Heterogeneous Simulations

by Neema, Himanshu
Published 2018