Filters








118 Hits in 4.6 sec

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System

Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot
2017 Electronic Proceedings in Theoretical Computer Science  
We formally verify a hybrid control law designed to perform a station keeping maneuver for a planar vehicle.  ...  Such maneuver requires that the vehicle reaches a neighborhood of its station in finite time and remains in it while waiting for further instructions.  ...  Such regions are then exploited to formally verify the reachability and safety properties of the station keeping maneuver using the hybrid theorem prover KeymaeraX ?.  ... 
doi:10.4204/eptcs.257.9 fatcat:ezbymoctsbaqrlknzq63tlss4y

Precision Landing for Low-Maintenance Remote Operations with UAVs

Miguel Moreira, Fábio Azevedo, André Ferreira, Dário Pedro, João Matos-Carvalho, Álvaro Ramos, Rui Loureiro, Luís Campos
2021 Drones  
This work proposes a fully integrated ecosystem composed of three main components with a complex goal: to implement an autonomous system with a UAV requiring little to no maintenance and capable of flying  ...  For this goal, was developed an autonomous UAV, an online platform capable of its management and a landing platform to enclose and charge the UAV after flights.  ...  Additionally, it is advantageous if the system is fitted with a communications module capable of reaching a central control station [7] .  ... 
doi:10.3390/drones5040103 fatcat:bsjixrzyprf33flxu3tux45pfe

Hybrid Control of Networked Embedded Systems

A Balluchi, L Benvenuti, S Engell, T Geyer, K Johansson, F Lamnabhi-Lagarrigue, J Lygeros, M Morari, G Papafotiou, A Sangiovanni-Vincetelli, F Santucci, O Stursberg
2005 European Journal of Control  
Hybrid systems that involve the interaction of continuous and discrete dynamics have been an active area of research for a number of years.  ...  We then provide an overview of recent developments in four of the most prominent application areas of hybrid control methods: Control of power systems, industrial process control, design of automotive  ...  Stronger results are possible for special classes of systems, such as planar systems [63] .  ... 
doi:10.3166/ejc.11.407-508 fatcat:qlj7zastlrflddqrpq5b4wgv2e

Hybrid Control of Networked Embedded Systems

A. Balluchi, L. Benvenuti, S. Engell, T. Geyer, K.H. Johansson, F. Lamnabhi-Lagarrigue, J. Lygeros, M. Morari, G. Papafotiou, A.L. Sangiovanni-Vincentelli, F. Santucci, O. Stursberg
2005 European Journal of Control  
Hybrid systems that involve the interaction of continuous and discrete dynamics have been an active area of research for a number of years.  ...  We then provide an overview of recent developments in four of the most prominent application areas of hybrid control methods: Control of power systems, industrial process control, design of automotive  ...  Stronger results are possible for special classes of systems, such as planar systems [63] .  ... 
doi:10.1016/s0947-3580(05)71047-5 fatcat:z7aa2clrdrgivgxkj3upbtgdhe

Final Program

2020 2020 International Conference on Unmanned Aircraft Systems (ICUAS)  
Pradeep Misra is the "glue" that keeps everything together, as papers are submitted through the PaperCept Conference Management System (https://controls.papercept.net), managed by Pradeep.  ...  Athens is a magnificent location for such an international event like the 2020 ICUAS.  ...  The main contribution of this paper is the design of an observer-based model reference control for multi-agent systems with eventtriggered mechanism using a dynamic-threshold.  ... 
doi:10.1109/icuas48674.2020.9214039 fatcat:7jr6chhfija47kgtwoxqmfmmoe

Survey of Inter-satellite Communication for Small Satellite Systems: Physical Layer to Network Layer View [article]

Radhika Radhakrishnan, William Edmonson, Fatemeh Afghah, R. Rodriguez-Osorio, Frank Pinto, Scott Burleigh
2016 arXiv   pre-print
Specific topics include proposed solutions for some of the challenges faced by small satellite systems, enabling operations using a network of small satellites, and some examples of small satellite missions  ...  Small satellite systems enable whole new class of missions for navigation, communications, remote sensing and scientific research for both civilian and military purposes.  ...  The research described in this paper was performed in part at the Jet Propulsion Laboratory, California Institute of Technology, under a contract with the National Aeronautics and Space Administration.  ... 
arXiv:1609.08583v2 fatcat:tzyqiyqbqfgkhk3dnctw5t4rfu

Survey of Inter-Satellite Communication for Small Satellite Systems: Physical Layer to Network Layer View

Radhika Radhakrishnan, William W. Edmonson, Fatemeh Afghah, Ramon Martinez Rodriguez-Osorio, Frank Pinto, Scott C. Burleigh
2016 IEEE Communications Surveys and Tutorials  
Small satellite systems enable a whole new class of missions for navigation, communications, remote sensing, and scientific research for both civilian and military purposes.  ...  Specific topics include proposed solutions for some of the challenges faced by small satellite systems, enabling operations using a network of small satellites, and some examples of small satellite missions  ...  Sun Yi, Rawfln Zaman and Solomon Gebreyohannes who provided insight and expertise that greatly assisted the study and preparation of this research paper.  ... 
doi:10.1109/comst.2016.2564990 fatcat:jzrkyyrqajgehmznkwxaiy3nlq

Toward Digitalization of Maritime Transport?

Pedro-Luis Sanchez-Gonzalez, David Díaz-Gutiérrez, Teresa Leo, Luis Núñez-Rivas
2019 Sensors  
The work, based on a systematic literature review, demonstrates that there are domains on which almost no formal study has been done thus far and concludes that there are major areas that require attention  ...  This work verifies the state-of-the-art as it currently applies to eight digital domains: Autonomous vehicles and robotics; artificial intelligence; big data; virtual reality, augmented and mixed reality  ...  Conflicts of Interest: The authors state that there are no conflicts of interest. Sensors 2019, 19, 926  ... 
doi:10.3390/s19040926 fatcat:yz5jiwb4ezgqfgwwekjevjzahu

Design and Implementation of a Narrow-Band Intersatellite Network with Limited Onboard Resources for IoT

Zizung Yoon, Walter Frese, Klaus Briess
2019 Sensors  
Advances in the miniaturization of satellite technology make networks in LEO (Low Earth Orbit) predestined to serve as a backhaul for narrow-band M2M communication.  ...  Satellite networks are inevitable for the ubiquitous connectivity of M2M (machine to machine) and IoT (internet of things) devices.  ...  Antenna System Two circular polarized directional planar antennas are used for down-and up-link.  ... 
doi:10.3390/s19194212 fatcat:hxfbgx5m55dc3ohoenekauipzy

Learning off-road maneuver plans for autonomous vehicles [article]

Kevin Osanlou
2021 arXiv   pre-print
Finally, in order to synthesize strategies to execute synchronized maneuvers, we propose a novel type of scheduling controllability and a learning-assisted algorithm.  ...  We present a range of learning-based heuristics to assist different itinerary planners. We show that these heuristics allow a significant increase in performance for optimal planners.  ...  Applications of Planning in Autonomous Systems A system is considered autonomous if it is able to generate and execute plans to achieve its assigned goals without human intervention, and if it is able  ... 
arXiv:2108.01021v1 fatcat:zdx6bqd4praobhmupaghciv65a

Active Sensing for Search and Tracking: A Review [article]

Luca Varotto, Angelo Cenedese, Andrea Cavallaro
2021 arXiv   pre-print
Overall, this survey explores the principal challenges and envisages the main research directions in the field of autonomous perception systems for localization tasks.  ...  We also propose a reference framework as a formalism to classify APE-related solutions.  ...  We also provide a formal A typical choice for Ω is the Normal distribution [55], characterization of the APE classification system. Tab.  ... 
arXiv:2112.02381v1 fatcat:zxptl2lhcne6hjephtrefoy5ju

Self-Organized Evolutionary Process in Sets of Interdependent Variables near the Midpoint of Phase Transition in K-Satisfiability [chapter]

Michael Korkin
2001 Lecture Notes in Computer Science  
Ackerman, John T Strategic Studies Quarterly: An Air Force-Sponsored Strategic Forum for Military, Government, and Academic Professionals. Volume 2, Number 1 -7 Acuff, Hugh F  ...  Nevertheless, the size and complexity of many industrial systems make formal verification infeasible even if we have a formal model and formalized requirements.  ...  as (iii) how hybrid systems can be verified in a combined system with both co-SLD and SLD resolution.  ... 
doi:10.1007/3-540-45443-8_20 fatcat:ght26tu6avh57kkp54kifofaee

Communications, Multimedia, Ontology, Photonics and Internet Engineering 2012

Ryszard S. Romaniuk
2012 International Journal of Electronics and Telecommunications  
The organizers present here a research survey of the WILGA Symposium work. Also a digest of chosen Wilga references is presented [1]-[39].  ...  Wilga Symposium gathers two times a year, together around 300 young scientists active in advanced photonics, electronics and software systems, including Internet engineering.  ...  The system is expected to be formally a basis for algorithms researching the changeability of languages.  ... 
doi:10.2478/v10177-012-0061-z fatcat:s6nm5vnwoneotjyny4ld5dp7ve

Defense Advanced Research Projects Agency (Darpa) Fiscal Year 2019 Budget Estimates

Department Of Defense Comptroller's Office
2018 Zenodo  
long-term national security enhancement through the discovery of new phenomena and the exploration of the potential of such phenomena for defense applications.  ...  Theprogram uses information, computational modeling, and physical sciences todiscover properties of biological systems that cross multiple scales of biologicalarchitecture and function, from the molecular  ...  -Demonstrate the capability of formal verification techniques to validate integration of constituent systems into a system of systems prior to live flight experiments.  ... 
doi:10.5281/zenodo.1215599 fatcat:kxduvg6a5nflhf6iilkwnolobu

Table of contents

2009 2009 17th Mediterranean Conference on Control and Automation  
Hamzaoui, Abdelaziz IUT of Troyes This paper deals with the design of a robust adaptive fuzzy tracking control for a class of uncertain and disturbed nonlinear systems.  ...  system structure especially for medium and large size of industrial processes.  ...  of Planar Nonlinear Systems, pp  ... 
doi:10.1109/med.2009.5164498 fatcat:bi37lbkbhfaihj7lbc64vvplo4
« Previous Showing results 1 — 15 out of 118 results