Statecharts: A visual formalism for complex systems
Science of Computer Programming
The benefits of relaxing punctuality
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Handbook of theoretical computer science (vol. B)
RTAI: Real Time Application Interface
Linux Journal
Planning for temporally extended goals
Annals of Mathematics and Artificial Intelligence
TALplanner: A temporal logic based forward chaining planner
Annals of Mathematics and Artificial Intelligence
Computing Circumscription Revisited: A Reduction Algorithm
Journal of Automated Reasoning
Reasoning about Robot Actions: A Model Checking Approach
Revised Papers from the International Seminar on Advances in Plan-Based Control of Robotic Agents,
TALplanner: An Empirical Investigation of a Temporal Logic-based Forward Chaining Planner
TIME '99 Proceedings of the Sixth International Workshop on Temporal Representation and Reasoning
Checking Finite Traces Using Alternating Automata
Formal Methods in System Design
Intelligent execution monitoring in dynamic environments
Fundamenta Informaticae
Elaboration tolerance through object-orientation
Artificial Intelligence - Special issue on logical formalizations and commonsense reasoning
Rewriting-Based Techniques for Runtime Verification
Automated Software Engineering
Knowledge Representation and Unmanned Aerial Vehicles
IAT '05 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
Control System Framework for Autonomous Robots Based on Extended State Machines
ICAS '06 Proceedings of the International Conference on Autonomic and Autonomous Systems
Model checking restricted sets of timed paths
Theoretical Computer Science - Concurrency theory (CONCUR 2004)
DyKnow: An approach to middleware for knowledge processing
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology - AILS '04
Back to the future: towards a theory of timed regular languages
SFCS '92 Proceedings of the 33rd Annual Symposium on Foundations of Computer Science
Interleaving temporal planning and execution in robotics domains
AAAI'04 Proceedings of the 19th national conference on Artifical intelligence
Interactive execution monitoring of agent teams
Journal of Artificial Intelligence Research
Computing circumscription revisited: preliminary report
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
Monitoring Algorithms for Metric Temporal Logic Specifications
Electronic Notes in Theoretical Computer Science (ENTCS)
A UAV search and rescue scenario with human body detection and geolocalization
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Rule systems for run-time monitoring: from eagle to ruler
RV'07 Proceedings of the 7th international conference on Runtime verification
Planning for temporally extended goals
AAAI'96 Proceedings of the thirteenth national conference on Artificial intelligence - Volume 2
Integrating NLP with Reasoning about Actions for Autonomous Agents Communicating with Humans
WI-IAT '09 Proceedings of the 2009 IEEE/WIC/ACM International Joint Conference on Web Intelligence and Intelligent Agent Technology - Volume 02
Bridging the sense-reasoning gap: DyKnow - Stream-based middleware for knowledge processing
Advanced Engineering Informatics
A stream-based hierarchical anchoring framework
IROS'09 Proceedings of the 2009 IEEE/RSJ international conference on Intelligent robots and systems
Developing high-level cognitive functions for service robots
Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems: volume 1 - Volume 1
Stream-Based Reasoning Support for Autonomous Systems
Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
Artificial Intelligence
A delegation-based architecture for collaborative robotics
AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Complex task allocation in mixed-initiative delegation: a UAV case study
PRIMA'10 Proceedings of the 13th international conference on Principles and Practice of Multi-Agent Systems
Survey of advances in guidance, navigation, and control of unmanned rotorcraft systems
Journal of Field Robotics
Flexible execution of partial order plans with temporal constraints
IJCAI'13 Proceedings of the Twenty-Third international joint conference on Artificial Intelligence
The actor's view of automated planning and acting: A position paper
Artificial Intelligence
Robotics and artificial intelligence: A perspective on deliberation functions
AI Communications - ECAI 2012 Turing and Anniversary Track
Hi-index | 0.00 |
Research with autonomous unmanned aircraft systems is reaching a new degree of sophistication where targeted missions require complex types of deliberative capability integrated in a practical manner in such systems. Due to these pragmatic constraints, integration is just as important as theoretical and applied work in developing the actual deliberative functionalities. In this article, we present a temporal logic-based task planning and execution monitoring framework and its integration into a fully deployed rotor-based unmanned aircraft system developed in our laboratory. We use a very challenging emergency services application involving body identification and supply delivery as a vehicle for showing the potential use of such a framework in real-world applications. TALplanner, a temporal logic-based task planner, is used to generate mission plans. Building further on the use of TAL (Temporal Action Logic), we show how knowledge gathered from the appropriate sensors during plan execution can be used to create state structures, incrementally building a partial logical model representing the actual development of the system and its environment over time. We then show how formulas in the same logic can be used to specify the desired behavior of the system and its environment and how violations of such formulas can be detected in a timely manner in an execution monitor subsystem. The pervasive use of logic throughout the higher level deliberative layers of the system architecture provides a solid shared declarative semantics that facilitates the transfer of knowledge between different modules.