Automatic verification of finite-state concurrent systems using temporal logic specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Supervisory control of a class of discrete event processes
SIAM Journal on Control and Optimization
Modular feedback logic for discrete event systems
SIAM Journal on Control and Optimization
Information Processing Letters
On the synthesis of a reactive module
POPL '89 Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Journal of Computer and System Sciences - 3rd Annual Conference on Structure in Complexity Theory, June 14–17, 1988
Proceedings of the first international conference on Principles of knowledge representation and reasoning
Handbook of theoretical computer science (vol. B)
Stability and stabilizability of discrete event dynamic systems
Journal of the ACM (JACM)
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Closure and Convergence: A Foundation of Fault-Tolerant Computing
IEEE Transactions on Software Engineering - Special issue on software reliability
The computational complexity of propositional STRIPS planning
Artificial Intelligence
The first law of robotics (a call to arms)
AAAI'94 Proceedings of the twelfth national conference on Artificial intelligence (vol. 2)
Complexity, decidability and undecidability results for domain-independent planning
Artificial Intelligence - Special volume on planning and scheduling
Planning control rules for reactive agents
Artificial Intelligence
A commonsense language for reasoning about causation and rational action
Artificial Intelligence
Synthesis of Communicating Processes from Temporal Logic Specifications
ACM Transactions on Programming Languages and Systems (TOPLAS)
Computational complexity of planning and approximate planning in the presence of incompleteness
Artificial Intelligence
Self-stabilizing systems in spite of distributed control
Communications of the ACM
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Knowlege in action: logical foundations for specifying and implementing dynamical systems
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back
Designing Autonomous Agents: Theory and Practice from Biology to Engineering and Back
Active Database Systems: Triggers and Rules for Advanced Database Processing
Active Database Systems: Triggers and Rules for Advanced Database Processing
Declarative problem-solving using the DLV system
Logic-based artificial intelligence
The temporal logic of branching time
POPL '81 Proceedings of the 8th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Extending and implementing the stable model semantics
Artificial Intelligence
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
Deriving Production Rules for Constraint Maintainance
VLDB '90 Proceedings of the 16th International Conference on Very Large Data Bases
Realizable and Unrealizable Specifications of Reactive Systems
ICALP '89 Proceedings of the 16th International Colloquium on Automata, Languages and Programming
Maintainability: A Weaker Stabilizability Like Notion for High Level Control
Proceedings of the Seventeenth National Conference on Artificial Intelligence and Twelfth Conference on Innovative Applications of Artificial Intelligence
Strong Cyclic Planning Revisited
ECP '99 Proceedings of the 5th European Conference on Planning: Recent Advances in AI Planning
Design and Synthesis of Synchronization Skeletons Using Branching-Time Temporal Logic
Logic of Programs, Workshop
Planning with a language for extended goals
Eighteenth national conference on Artificial intelligence
Weak, strong, and strong cyclic planning via symbolic model checking
Artificial Intelligence - special issue on planning with uncertainty and incomplete information
The Computational Complexity of Agent Design Problems
ICMAS '00 Proceedings of the Fourth International Conference on MultiAgent Systems (ICMAS-2000)
Automated Planning: Theory & Practice
Automated Planning: Theory & Practice
The DLV system for knowledge representation and reasoning
ACM Transactions on Computational Logic (TOCL)
Strong Cyclic Planning under Partial Observability
Proceedings of the 2006 conference on ECAI 2006: 17th European Conference on Artificial Intelligence August 29 -- September 1, 2006, Riva del Garda, Italy
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Synthesizing plant controllers using real-time goals
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Computational complexity of planning with temporal goals
IJCAI'01 Proceedings of the 17th international joint conference on Artificial intelligence - Volume 1
Action and planning in embedded agents
Robotics and Autonomous Systems
Probabilistic propositional planning: representations and complexity
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
A new algorithm for strategy synthesis in LTL games
TACAS'05 Proceedings of the 11th international conference on Tools and Algorithms for the Construction and Analysis of Systems
Synthesis of reactive(1) designs
VMCAI'06 Proceedings of the 7th international conference on Verification, Model Checking, and Abstract Interpretation
Agent programming with temporally extended goals
Proceedings of The 8th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Systems resilience: a challenge problem for dynamic constraint-based agent systems
Proceedings of the 2013 international conference on Autonomous agents and multi-agent systems
Inferring robot goals from violations of semantic knowledge
Robotics and Autonomous Systems
Learning from interpretation transition
Machine Learning
An operational semantics for the goal life-cycle in BDI agents
Autonomous Agents and Multi-Agent Systems
Hi-index | 0.00 |
The notion of maintenance often appears in the AI literature in the context of agent behavior and planning. In this paper, we argue that earlier characterizations of the notion of maintenance are not intuitive to characterize the maintenance behavior of certain agents in a dynamic environment. We propose a different characterization of maintenance and distinguish it from earlier notions such as stabilizability. Our notion of maintenance is more sensitive to a good-natured agent which struggles with an ''adversary'' environment, which hinders her by unforeseeable events to reach her goals (not in principle, but in case). It has a parameter k, referring to the length of non-interference (from exogenous events) needed to maintain a goal; we refer to this notion as k-maintainability. We demonstrate the notion on examples, and address the important but non-trivial issue of efficient construction of maintainability control functions. We present an algorithm which in polynomial time constructs a k-maintainable control function, if one exists, or tells that no such control is possible. Our algorithm is based on SAT Solving, and employs a suitable formulation of the existence of k-maintainable control in a fragment of SAT which is tractable. For small k (bounded by a constant), our algorithm is linear time. We then give a logic programming implementation of our algorithm and use it to give a standard procedural algorithm, and analyze the complexity of constructing k-maintainable controls, under different assumptions such as k=1, and states described by variables. On the one hand, our work provides new concepts and algorithms for maintenance in dynamic environment, and on the other hand, a very fruitful application of computational logic tools. We compare our work with earlier works on control synthesis from temporal logic specification and relate our work to Dijkstra's notion of self-stabilization and related notions in distributed computing.