Artificial Intelligence
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
The composition and validation of heterogeneous control laws
Automatica (Journal of IFAC)
Constraint nets: a semantic model for hybrid dynamic systems
Theoretical Computer Science - Special issue on hybrid systems
Diagnosis with behavioral modes
IJCAI'89 Proceedings of the 11th international joint conference on Artificial intelligence - Volume 2
IJCAI'91 Proceedings of the 12th international joint conference on Artificial intelligence - Volume 1
An autonomous spacecraft agent prototype
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Autonmous design and execution of process controllers for untended scientific instruments
AGENTS '97 Proceedings of the first international conference on Autonomous agents
Markov tracking for agent coordination
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Issues in temporal reasoning for autonomous control systems
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A hybrid procedural/deductive executive for autonomous spacecraft
AGENTS '98 Proceedings of the second international conference on Autonomous agents
A synergy of agent components: social comparison for failure detection
AGENTS '98 Proceedings of the second international conference on Autonomous agents
Control generation for embedded systems based on composition of modal processes
Proceedings of the 1998 IEEE/ACM international conference on Computer-aided design
What is wrong with us? Improving robustness through social diagnosis
AAAI '98/IAAI '98 Proceedings of the fifteenth national/tenth conference on Artificial intelligence/Innovative applications of artificial intelligence
Proceedings of the third annual conference on Autonomous Agents
Qualifying the expressivity/efficiency tradeoff: reformation-based diagnosis
AAAI '99/IAAI '99 Proceedings of the sixteenth national conference on Artificial intelligence and the eleventh Innovative applications of artificial intelligence conference innovative applications of artificial intelligence
The Techsat-21 autonomous space science agent
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Control generation for embedded systems based on composition of modal processes
Readings in hardware/software co-design
An Autonomous Spacecraft Agent Prototype
Autonomous Robots - Special issue on autonomous agents
A Hybrid Procedural/Deductive Executive for Autonomous Spacecraft
Autonomous Agents and Multi-Agent Systems
Guest Editor's Introduction: Spacecraft Autonomy and the Missions of Exploration
IEEE Intelligent Systems
Smart Executives for Autonomous Spacecraft
IEEE Intelligent Systems
Process algebras for systems diagnosis
Artificial Intelligence
An Information-Theoretic Characterization of Abstraction in Diagnosis and Hypothesis Selection
Proceedings of the 5th International Symposium on Abstraction, Reformulation and Approximation
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Mode Estimation of Probabilistic Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
How AI Can Help SE; or: Randomized Search Not Considered Harmful
AI '01 Proceedings of the 14th Biennial Conference of the Canadian Society on Computational Studies of Intelligence: Advances in Artificial Intelligence
Model-Based Programming: Controlling Embedded Systems by Reasoning About Hidden State
CP '02 Proceedings of the 8th International Conference on Principles and Practice of Constraint Programming
Optimizing Symbolic Model Checking for Constraint-Rich Models
CAV '99 Proceedings of the 11th International Conference on Computer Aided Verification
Intelligent control of auxiliary ship systems
Eighteenth national conference on Artificial intelligence
On the Sufficiency of Limited Testing for Knowledge Based Systems
ICTAI '99 Proceedings of the 11th IEEE International Conference on Tools with Artificial Intelligence
Testing Nondeterminate Systems
ISSRE '00 Proceedings of the 11th International Symposium on Software Reliability Engineering
Model-based programming of fault-aware systems
AI Magazine
Robots, softbots, immobots: The 1997 AAAI Workshop on Theories of Action, Planning and Control
The Knowledge Engineering Review
Robot introspection through learned hidden Markov models
Artificial Intelligence
The Knowledge Engineering Review
Improving Robustness of Mobile Robots Using Model-based Reasoning
Journal of Intelligent and Robotic Systems
Conflict-directed A* and its role in model-based embedded systems
Discrete Applied Mathematics
Using genetic algorithms for naval subsystem damage assessment and design improvements
Proceedings of the 9th annual conference on Genetic and evolutionary computation
Robotics and Autonomous Systems
An onboard knowledge representation tool for satellite autonomous applications
Proceedings of the 2008 ACM symposium on Applied computing
Particle filters for real-time fault diagnosis in hybrid systems
ROCOM'07 Proceedings of the 7th WSEAS International Conference on Robotics, Control & Manufacturing Technology
Incremental state based diagnosis
Advanced Engineering Informatics
Using Model Counting to Find Optimal Distinguishing Tests
CPAIOR '09 Proceedings of the 6th International Conference on Integration of AI and OR Techniques in Constraint Programming for Combinatorial Optimization Problems
Adventures in Model-based Reasoning
Proceedings of the 2006 conference on Rob Milne: A Tribute to a Pioneering AI Scientist, Entrepreneur and Mountaineer
Learning in Planning with Temporally Extended Goals and Uncontrollable Events
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial Intelligence
Diagnosis as approximate belief state enumeration for probabilistic concurrent constraint automata
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Model-based monitoring and diagnosis of systems with software-extended behavior
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 1
Diagnosis of discrete-event systems using satisfiability algorithms
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 1
Detecting execution failures using learned action models
AAAI'07 Proceedings of the 22nd national conference on Artificial intelligence - Volume 2
A reactive planner for a model-based executive
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Robust periodic planning and execution for autonomous spacecraft
IJCAI'97 Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2
Structure and complexity in planning with unary operators
Journal of Artificial Intelligence Research
New Islands of tractability of cost-optimal planning
Journal of Artificial Intelligence Research
Ten challenges in propositional reasoning and search
IJCAI'97 Proceedings of the 15th international joint conference on Artifical intelligence - Volume 1
Model-based diagnosis in the real world: lessons learned and challenges remaining
IJCAI'99 Proceedings of the 16th international joint conference on Artificial intelligence - Volume 2
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Formal verification of diagnosability via symbolic model checking
IJCAI'03 Proceedings of the 18th international joint conference on Artificial intelligence
Mode estimation of model-based programs: monitoring systems with complex behavior
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Model compilation for real-time planning and diagnosis with feedback
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Continuous time particle filtering
IJCAI'05 Proceedings of the 19th international joint conference on Artificial intelligence
Robot introspection through learned hidden Markov models
Artificial Intelligence
Set-theoretic estimation of hybrid system configurations
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
Dynamic neural network-based fault diagnosis for attitude control subsystem of a satellite
PRICAI'06 Proceedings of the 9th Pacific Rim international conference on Artificial intelligence
The hyper system: knowledge reformation for efficient first-order hypothetical reasoning
PRICAI'00 Proceedings of the 6th Pacific Rim international conference on Artificial intelligence
Agent technology from a NASA perspective
CIA'99 Proceedings of the 3rd international conference on Cooperative information agents III
KI'09 Proceedings of the 32nd annual German conference on Advances in artificial intelligence
Intrinsic hurdles in applying automated diagnosis and recovery to spacecraft
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Fast context switching in real-time propositional reasoning
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
The emergence of spacecraft autonomy
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Who guards the guardians?: toward v&v of health management software
RV'10 Proceedings of the First international conference on Runtime verification
Using ROBDDs for inference in Bayesian networks with troubleshooting as an example
UAI'00 Proceedings of the Sixteenth conference on Uncertainty in artificial intelligence
Fault diagnosis for mobile robots with imperfect models based on particle filter and neural network
ISNN'06 Proceedings of the Third international conference on Advnaces in Neural Networks - Volume Part II
A model-based executive for commanding robot teams
ProMAS'05 Proceedings of the Third international conference on Programming Multi-Agent Systems
A comprehensive approach to on-board autonomy verification and validation
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
IMS 10-Validation of a co-evolving diagnostic algorithm for evolvable production systems
Engineering Applications of Artificial Intelligence
Automated FMEA based diagnostic symptom generation
Advanced Engineering Informatics
On the complexity of planning for agent teams and its implications for single agent planning
Artificial Intelligence
Diagnosability in concurrent probabilistic systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Bridging control and artificial intelligence theories for diagnosis: A survey
Engineering Applications of Artificial Intelligence
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Hi-index | 0.00 |
This paper describes Livingstone, an implemented kernel for a model-based reactive self-configuring autonomous system. It presents a formal characterization of Livingstone's representation formalism, and reports on our experience with the implementation in a variety of domains. Livingstone provides a reactive system that performs significant deduction in the sense/response loop by drawing on our past experience at building fast propositional conflict-based algorithms for model-based diagnosis, and by framing a model-based configuration manager as a propositional feedback controller that generates focused, optimal responses. Livingstone's representation formalism achieves broad coverage of hybrid hardware/software systems by coupling the transition system models underlying concurrent reactive languages with the qualitative representations developed in model-based reasoning. Livingstone automates a wide variety of tasks using a single model and a single core algorithm, thus making significant progress towards achieving a central goal of model-based reasoning. Livingstone, together with the HSTS planning and scheduling engine and the RAPS executive, has been selected as part of the core autonomy architecture for NASA's first New Millennium spacecraft.