Automatic generation of detailed flight plans from high-level mission descriptions

No abstract is available for this paper.

• Publication year

  2016

• Venue

  ACM/IEEE International Conference on Model Driven Engineering Languages and Systems

• Publication date

  2016-10-02

• Fields of study

  Computer Science, Engineering

• Identifiers
  DOI 10.1145/2976767.2976794
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• 2020 IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS)

  2020cited by this paper
• FLYAQ: Enabling Non-expert Users to Specify and Generate Missions of Autonomous Multicopters

  2015cited by this paper
• The Role of Parts in the System Behaviour

  2014cited by this paper
• Cyber-physical cloud computing implemented as PaaS

  2014cited by this paper
• Distributed Processing Applications for UAV/drones: A Survey

  2014cited by this paper
• Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

  2013cited by this paper
• Efficient complete coverage of a known arbitrary environment with applications to aerial operations

  2013cited by this paper
• A survey on coverage path planning for robotics

  2013cited by this paper
• Generation of collision-free trajectories for a quadrocopter fleet: A sequential convex programming approach

  2012cited by this paper
• Towards a fully autonomous swarm of unmanned aerial vehicles

  2012cited by this paper
• A search and coverage algorithm for mobile robot

  2011cited by this paper
• Quadrocopter Trajectory Generation and Control

  2011cited by this paper
• A Survey of Motion Planning Algorithms from the Perspective of Autonomous UAV Guidance

  2010cited by this paper
• Optimal coverage of a known arbitrary environment

  2010cited by this paper
• Embedded autopilot for accurate waypoint navigation and trajectory tracking: Application to miniature rotorcraft UAVs

  2009cited by this paper
• CSL: A Language to Specify and Re-specify Mobile Sensor Network Behaviors

  2009cited by this paper
• ATL: A model transformation tool

  2008cited by this paper
• Full control of a quadrotor

  2007cited by this paper
• What are emergent properties and how do they affect the engineering of complex systems?

  2006cited by this paper
• Parallel region coverage using multiple UAVs

  2006cited by this paper
• Introduction to Autonomous Mobile Robots

  2004cited by this paper
• Morse Decompositions for Coverage Tasks

  2002cited by this paper
• Multiple-Robot Motion Planning = Parallel Processing + Geometry

  2000cited by this paper
• Coverage of Known Spaces: The Boustrophedon Cellular Decomposition

  2000cited by this paper
• The Area Partitioning Problem

  2000influential reference
• Polygon Decomposition

  2000cited by this paper

• Modeling and verifying resources and capabilities of ubiquitous scenarios for Unmanned Aerial Vehicle swarm

  2025cites this paper
• A Framework for Multi-Robot Programming: From High-Level Specification to Retargetable Deployment

  2025cites this paper
• Seeing, Hearing, Feeling: Designing Multimodal Alerts for Critical Drone Scenarios

  2025cites this paper
• Handling Uncertainty in the Specification of Autonomous Multi-Robot Systems Through Mission Adaptation

  2024cites this paper
• Application Scenario Modeling and Verification for Unmanned Aerial Vehicle Swarm

  2024cites this paper
• Towards Automatic Generation of Systems-of-Systems Architectural Configurations

  2024cites this paper
• Towards Autonomous Multi-UAV U-Space Operation Planning

  2024cites this paper
• Challenges and Requirements in Multi-Drone Interfaces

  2023cites this paper
• Correct-by-Construction Design of Contextual Robotic Missions Using Contracts

  2023cites this paper
• Mission specification and decomposition for multi-robot systems

  2023cites this paper
• Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

  2023cites this paper
• What is known and what remains unexplored: A review of the firefighter information technologies literature

  2022cites this paper
• Mining guidelines for architecting robotics software

  2021cites this paper
• Revue Systématique de la Littérature sur le Soutien à la Sécurité des Opérations de Drones: Systematic Literature Review of Safety Support for Drones Operations

  2021influential citation
• A survey on the design space of end-user-oriented languages for specifying robotic missions

  2021cites this paper
• Towards a Service-Oriented U-Space Architecture for Autonomous Drone Operations

  2021cites this paper
• Towards Declarative Specification of Multi-Drone BVLOS Missions for UTM

  2020cites this paper
• PuRSUE -from specification of robotic environments to synthesis of controllers

  2020cites this paper
• PROMISE: High-Level Mission Specification for Multiple Robots

  2020cites this paper
• PReGO: a generative methodology for satisfying real-time requirements on COTS-based systems: definition and experience report

  2020cites this paper
• Languages for Specifying Missions of Robotic Applications

  2020cites this paper
• Variability Modeling of Service Robots: Experiences and Challenges

  2019cites this paper
• Managing safety and mission completion via collective run-time adaptation

  2019cites this paper
• Specification Patterns for Robotic Missions

  2019cites this paper
• Mission Specification : a formulation of the mission in a logical language with a precise semantics

  2019cites this paper
• High-level mission specification for multiple robots

  2019cites this paper
• Monitor-Centric Mission Definition With Sophrosyne

  2019cites this paper
• Drone flight planning for safe urban operations

  2019cites this paper
• Drone Mission Definition and Implementation for Automated Infrastructure Inspection Using Airborne Sensors

  2018cites this paper
• A Study on Goals Specification for Systems-of-Information Systems: Design Principles and a Conceptual Model

  2018cites this paper
• A Generated Property Specification Language for Resilient Multirobot Missions

  2017cites this paper
• Engineering the Software of Robotic Systems

  2017cites this paper
• Descriptive vs prescriptive models in industry

  2016cites this paper
• STSM Report: Domain-Specific Verification Languages

  2016influential citation
• Adopting MDE for Specifying and Executing Civilian Missions of Mobile Multi-Robot Systems

  2016cites this paper