AI-guided optimal deployments of drone-intercepting systems in large critical areas

The problem of designing effective systems to prevent risks and hazards caused by drones in critical areas has gained significant attention in recent years. In this short paper, we introduce the idea of computing optimal deployments of anti-drone sensors in a given region using simulation-based optimisation via heuristic-guided intelligent search and a geometric modelling of the problem, and show preliminary results in a real-world scenario.

[1]  Toni Mancini,et al.  Combinatorial problem solving over relational databases: view synthesis through constraint-based local search , 2012, SAC '12.

[2]  F. Richard Yu,et al.  Directional Sensor Placement with Optimal Sensing Range, Field of View and Orientation , 2008, 2008 IEEE International Conference on Wireless and Mobile Computing, Networking and Communications.

[3]  Toni Mancini,et al.  Any-Horizon Uniform Random Sampling and Enumeration of Constrained Scenarios for Simulation-Based Formal Verification , 2021, IEEE Transactions on Software Engineering.

[4]  F Maggioli,et al.  SBML2Modelica: integrating biochemical models within open-standard simulation ecosystems , 2019, Bioinform..

[5]  Bang Wang,et al.  Sensor Placement Based on an Improved Genetic Algorithm for Connected Confident Information Coverage in an Area with Obstacles , 2017, 2017 IEEE 42nd Conference on Local Computer Networks (LCN).

[6]  Toni Mancini,et al.  A Two-Layer Near-Optimal Strategy for Substation Constraint Management via Home Batteries , 2021, IEEE Transactions on Industrial Electronics.

[7]  Toni Mancini,et al.  MILP, Pseudo-Boolean, and OMT Solvers for Optimal Fault-Tolerant Placements of Relay Nodes in Mission Critical Wireless Networks , 2020, Fundam. Informaticae.

[8]  Toni Mancini,et al.  Reconciling interoperability with efficient Verification and Validation within open source simulation environments , 2021, Simul. Model. Pract. Theory.

[9]  Lei Deng,et al.  Surveillance of a 2D Plane Area with 3D Deployed Cameras , 2014, Sensors.

[10]  Toni Mancini,et al.  Optimal Fault-Tolerant Placement of Relay Nodes in a Mission Critical Wireless Network , 2018, RCRA@FLoC.

[11]  Toni Mancini,et al.  User Flexibility Aware Price Policy Synthesis for Smart Grids , 2015, 2015 Euromicro Conference on Digital System Design.

[12]  Toni Mancini,et al.  SyLVaaS: System Level Formal Verification as a Service , 2015, 2015 23rd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[13]  Toni Mancini,et al.  Demand-aware price policy synthesis and verification services for Smart Grids , 2014, 2014 IEEE International Conference on Smart Grid Communications (SmartGridComm).

[14]  Charles Audet,et al.  Derivative-Free and Blackbox Optimization , 2017 .

[15]  Toni Mancini,et al.  Optimal Personalised Treatment Computation through In Silico Clinical Trials on Patient Digital Twins , 2020, Fundam. Informaticae.

[16]  Toni Mancini,et al.  On minimising the maximum expected verification time , 2017, Inf. Process. Lett..

[17]  Toni Mancini,et al.  SAT as an Effective Solving Technology for Constraint Problems , 2006, ISMIS.

[18]  Jiming Chen,et al.  Anti-Drone System with Multiple Surveillance Technologies: Architecture, Implementation, and Challenges , 2018, IEEE Communications Magazine.

[19]  Roberto Bagnara,et al.  The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems , 2006, Sci. Comput. Program..

[20]  Toni Mancini,et al.  Patient-specific models from inter-patient biological models and clinical records , 2014, 2014 Formal Methods in Computer-Aided Design (FMCAD).

[21]  Toni Mancini,et al.  Anytime system level verification via parallel random exhaustive hardware in the loop simulation , 2016, Microprocess. Microsystems.

[22]  Toni Mancini,et al.  Now or Never: Negotiating Efficiently with Unknown or Untrusted Counterparts , 2016, Fundam. Informaticae.

[23]  Toni Mancini,et al.  Anytime System Level Verification via Random Exhaustive Hardware in the Loop Simulation , 2014, 2014 17th Euromicro Conference on Digital System Design.

[24]  Shigeki Sugano,et al.  A 3D sensing model and practical sensor placement based on coverage and cost evaluation , 2015, 2015 IEEE International Conference on Cyber Technology in Automation, Control, and Intelligent Systems (CYBER).

[25]  Hyuk-Jin Yoon,et al.  Placing Visual Sensors Using Heuristic Algorithms for Bridge Surveillance , 2018 .

[26]  Toni Mancini,et al.  Complete populations of virtual patients for in silico clinical trials , 2020, Bioinform..

[27]  Yanfeng Ouyang,et al.  Reliable sensor location for object positioning and surveillance via trilateration , 2018, Transportation Research Part B: Methodological.

[28]  Toni Mancini,et al.  Computing Personalised Treatments through In Silico Clinical Trials , 2018, RCRA@FLoC.

[29]  Ting Huang,et al.  Computer‐Aided Optimization of Surveillance Cameras Placement on Construction Sites , 2018, Comput. Aided Civ. Infrastructure Eng..

[30]  Mustapha Réda Senouci,et al.  Toward a Realistic Approach for the Deployment of 3D Wireless Sensor Networks , 2020, IEEE Transactions on Mobile Computing.

[31]  Toni Mancini,et al.  System Level Formal Verification via Distributed Multi-core Hardware in the Loop Simulation , 2014, 2014 22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing.

[32]  Toni Mancini,et al.  Combining relational algebra, SQL, constraint modelling, and local search* , 2006, Theory and Practice of Logic Programming.

[33]  Toni Mancini,et al.  An Efficient Algorithm for Network Vulnerability Analysis Under Malicious Attacks , 2018, ISMIS.

[34]  Ismail Güvenç,et al.  Detection, Tracking, and Interdiction for Amateur Drones , 2018, IEEE Communications Magazine.

[35]  Vijanth S. Asirvadam,et al.  Visual Sensor Placement Based on Risk Maps , 2020, IEEE Transactions on Instrumentation and Measurement.

[36]  Toni Mancini,et al.  Computing Biological Model Parameters by Parallel Statistical Model Checking , 2015, IWBBIO.

[37]  Toni Mancini,et al.  Parallel Statistical Model Checking for Safety Verification in Smart Grids , 2018, 2018 IEEE International Conference on Communications, Control, and Computing Technologies for Smart Grids (SmartGridComm).