Skip to main content

Horizontal Menu

  • Research
    • Areas
    • Projects
    • Publications
    • NSA Center of Academic Excellence
  • Education
    • Prospective Students
    • Summer Program Info
  • Team
  • Sponsors
  • Contact
  • Opportunities

Hamburger Menu

  • Home
  • ISIS Calendar
    • Research Projects
    • Research Areas
    • Publications
    • Internship Program
    • Prospective Students
  • Team
  • Sponsors
  • Contact
  • Opportunities

Breadcrumb

  • Home /
  • Publications
Search by title, author, keywords, etc.

2005

publication

Time of Arrival Data Fusion for Source Localization

Authored by Gyorgy Balogh, Akos Ledeczi, Miklos Maroti, and Gyula Simon
publication

Requirements for an Autonomous Control Architecture for Advanced Life Support System

Authored by Gautam Biswas, Pierre Bonasso, and Sherif Abdelwahed
publication

Metamodel Based Language and Computation Platform for Algorithmic Analysis of Hybrid Systems

Authored by Abhishek Dubey
publication

Hierarchical Online Control Design for Autonomous Resource Management in Advanced Life Support Systems

Authored by Sherif Abdelwahed, Jian Wu, Gautam Biswas, and Eric Manders
publication

Plan Execution and Coordination

We investigate the problem of keeping the plans of mul- tiple agents synchronized during execution. We assume that agents only have a partial view of the overall plan. They know the tasks they must perform, and know the tasks of other agents with whom they have direct depen- dencies. Initially, agents are given a schedule of tasks to perform together with a collection of contingency plans that they can engage during execution in case execu- tion deviates from the plan. During execution, agents monitor the status of their tasks, adjusting their local schedules as necessary and informing dependent agents about the changes. When agents determine that their schedule is broken or that a contingency schedule may be better, they engage in coordinating plan changes with other agents. We present a "dynamic partial central- ization" approach to coordination. When a unit detects a problem (task delay, inability to perform a task), it will dynamically form a cluster of the critically affected agents (a subset of all potentially affected agents). The cluster will elect a leader, who will retrieve all task and contingency plan information from the cluster members and compute a solution depending on the situation.
Authored by Pedro Szekely, Robert Neches, Marcel Becker, Stephen Fitzpatrick, Chris vanBuskirk, Doug Fisher, and Gabor Karsai
publication

A Model-Integrated Computing Tool-suite for fault adaptive control

Authored by Eric Manders, Gautam Biswas, John Ramirez, Nagabhushan Mahadevan, Jian Wu, and Sherif Abdelwahed
publication

Designing Distributed Diagnosers for Complex Physical Systems

Authored by Indranil Roychoudhury, Gautam Biswas, Xenofon Koutsoukos, and Sherif Abdelwahed
publication

A Consistency-based Robust Diagnosis Approach for Temporal Causal Systems

Authored by Sherif Abdelwahed, Gabor Karsai, and Gautam Biswas
publication

Reusable Idioms and Patterns in Graph Transformation Languages

Authored by Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, and Gabor Karsai
publication

Model Integrated Computing in the Large

Authored by Akos Ledeczi, Gyorgy Balogh, Zoltan Molnar, Peter Volgyesi, and Miklos Maroti
publication

Learning by Teaching: A New Agent Paradigm for Educational Software

Authored by Gautam Biswas, Daniel Schwartz, Krittaya Leelawong, and Nancy Vye
publication

GME-MOF: AN MDA METAMODELING ENVIRONMENT FOR GME

Authored by Matthew Emerson
publication

Sensor Node Localization Using Mobile Acoustic Beacons

Authored by Manish Kushwaha, Karoly Molnar, Janos Sallai, Peter Volgyesi, Miklos Maroti, and Akos Ledeczi
publication

Semantic Anchoring with Model Transformations

Authored by Kai Chen, Janos Sztipanovits, Sherif Abdelwahed, and Ethan Jackson
publication

Radio Interferometric Geolocation

Authored by Miklos Maroti, Branislav Kusy, Gyorgy Balogh, Peter Volgyesi, Karoly Molnar, Andras Nadas, Sebestyen Dora, and Akos Ledeczi
publication

Countersniper System for Urban Warfare

Authored by Akos Ledeczi, Andras Nadas, Peter Volgyesi, Gyorgy Balogh, Branislav Kusy, Janos Sallai, Gabor Pap, Sebestyen Dora, Karoly Molnar, Miklos Maroti, and Gyula Simon
publication

A Semantic Unit for Timed Automata Based Modeling Languages

Authored by Kai Chen, Janos Sztipanovits, and Sherif Abdelwahed
publication

Replicators: Transformations to Address Model Scalability

Authored by Jeff Gray, Lin Yuehua, Zhang Jing, Steven Nordstrom, Jaiganesh Balasubramanian, Sandeep Neema, and Gokhale Swapna
publication

Modeling Reflex-Healing Autonomy for Large Scale Embedded Systems

Authored by Steven Nordstrom, Shwetta Shetty, Sandeep Neema, and Ted Bapty
publication

Computation Platform for Automatic Analysis of Embedded Software Systems Using Model Based Approach

Authored by Abhishek Dubey, Wu Xianbin, Su Hang, and John Koo
publication

Using Separation of Concerns for Embedded Systems Design

Authored by Ethan Jackson and Janos Sztipanovits
publication

Toward a Semantic Anchoring Infrastructure for Domain-Specific Modeling Languages

Authored by Kai Chen, Janos Sztipanovits, Sandeep Neema, Matthew Emerson, and Sherif Abdelwahed
publication

Relative Measurement Orderings in Diagnosis of Distributed Physical Systems

Authored by Matthew Daigle, Xenofon Koutsoukos, and Gautam Biswas
publication

Model Based Analysis of Distributed Realtime Embedded System Composition

Authored by Sherif Abdelwahed and Gabor Madl

2004

publication

Generative Programming and Component Engineering, Third International Conference

Authored by Gabor Karsai and Eelco Visser

Pagination

  • First page « First
  • Previous page ‹‹
  • …
  • Page 28
  • Page 29
  • Page 30
  • Page 31
  • Current page 32
  • Page 33
  • Page 34
  • Page 35
  • Page 36
  • …
  • Next page ››
  • Last page Last »
Download CSV

Footer Links A

  • About Us
  • Contact
  • LinkedIn

Footer Links B

  • Work at the Institute
  • Summer Program Info

1025 16th Avenue South

Nashville, Tennessee 37212

Phone: (615) 343-7472

Email: contact.isis at vanderbilt dot edu