Optimal Fault-Tolerant Relay Node Positioning in Critical Wireless Networks via Artificial Intelligence

Radio communication networks in critical infrastructures like airports are often mission-critical, and must be adequately protected from external electromagnetic interference and attacks. Given the long distances involved and the need to use low-powered WiFi signals, intermediate relay nodes must be deployed on the field to ensure multi-hop reliable communication, also guaranteeing a sufficient degree of fault-tolerance. In this short paper, we introduce the problem and briefly review our recent approach to automatically synthesise a cost-optimal fault-tolerant relay network. Differently from ad-hoc or heuristic approaches, our tool-chain is entirely based on off-the-shelf Artificial Intelligence general-purpose reasoners, namely MILP, PB-SAT, and SMT/OMT solvers. We also show experimental results on large scenarios from the Leonardo da Vinci Airport in Rome, Italy.

[1]  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.

[2]  Sherali Zeadally,et al.  Critical infrastructure protection: Requirements and challenges for the 21st century , 2015, Int. J. Crit. Infrastructure Prot..

[3]  C. Guestrin,et al.  Near-optimal sensor placements: maximizing information while minimizing communication cost , 2006, 2006 5th International Conference on Information Processing in Sensor Networks.

[4]  Ravi Prakash,et al.  Max-min d-cluster formation in wireless ad hoc networks , 2000, Proceedings IEEE INFOCOM 2000. Conference on Computer Communications. Nineteenth Annual Joint Conference of the IEEE Computer and Communications Societies (Cat. No.00CH37064).

[5]  Dale Stacey,et al.  Aeronautical Radio Communication Systems and Networks , 2008 .

[6]  Young-Jin Kim,et al.  Resilient end-to-end message protection for large-scale cyber-physical system communications , 2012, 2012 IEEE Third International Conference on Smart Grid Communications (SmartGridComm).

[7]  Pascal Van Hentenryck,et al.  Constraint-based local search , 2018, Handbook of Heuristics.

[8]  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).

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

[10]  Niklas Sörensson,et al.  An Extensible SAT-solver , 2003, SAT.

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

[12]  Roberto Sebastiani,et al.  OptiMathSAT: A Tool for Optimization Modulo Theories , 2015, Journal of Automated Reasoning.

[13]  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.

[14]  P. Cochat,et al.  Et al , 2008, Archives de pediatrie : organe officiel de la Societe francaise de pediatrie.

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

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

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

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

[19]  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).

[20]  Michel Gendreau,et al.  The Benders decomposition algorithm: A literature review , 2017, Eur. J. Oper. Res..

[21]  Baltasar Beferull-Lozano,et al.  Power-efficient sensor placement and transmission structure for data gathering under distortion constraints , 2006, Third International Symposium on Information Processing in Sensor Networks, 2004. IPSN 2004.

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

[23]  Sharad Malik,et al.  Propositional SAT Solving , 2018, Handbook of Model Checking.

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

[25]  John K. Karlof,et al.  Integer programming : theory and practice , 2005 .

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

[27]  Dimitris Gritzalis,et al.  Defending Airports from UAS: A Survey on Cyber-Attacks and Counter-Drone Sensing Technologies , 2020, Sensors.

[28]  Yanghee Choi,et al.  Optimization of AP placement and channel assignment in wireless LANs , 2002, 27th Annual IEEE Conference on Local Computer Networks, 2002. Proceedings. LCN 2002..

[29]  Toni Mancini,et al.  Generating T1DM Virtual Patients for In Silico Clinical Trials via AI-Guided Statistical Model Checking , 2019, RCRA/RiCeRcA@AI*IA.

[30]  Robert Tappan Morris,et al.  Capacity of Ad Hoc wireless networks , 2001, MobiCom '01.

[31]  Toni Mancini,et al.  Evaluating ASP and Commercial Solvers on the CSPLib , 2006, Constraints.

[32]  Ding-Zhu Du,et al.  Improving Wireless Sensor Network Lifetime through Power Aware Organization , 2005, Wirel. Networks.

[33]  Oleg Nicolaevich Skrypnik.  Radio Navigation Systems for Airports and Airways , 2019 .

[34]  Toni Mancini,et al.  A Unifying Framework for Structural Properties of CSPs: Definitions, Complexity, Tractability , 2008, J. Artif. Intell. Res..

[35]  Almir Davis,et al.  Airport protection using wireless sensor networks , 2012, 2012 IEEE Conference on Technologies for Homeland Security (HST).

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

[37]  Stephen K. Barton,et al.  Fresnel Zone Antennas , 2002 .

[39]  Krzysztof R. Apt,et al.  Principles of constraint programming , 2003 .

[40]  Philippe Laborie,et al.  An Update on the Comparison of MIP, CP and Hybrid Approaches for Mixed Resource Allocation and Scheduling , 2018, CPAIOR.

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

[42]  Cesare Tinelli,et al.  Satisfiability Modulo Theories , 2021, Handbook of Satisfiability.

[43]  Miodrag Potkonjak,et al.  Coverage problems in wireless ad-hoc sensor networks , 2001, Proceedings IEEE INFOCOM 2001. Conference on Computer Communications. Twentieth Annual Joint Conference of the IEEE Computer and Communications Society (Cat. No.01CH37213).

[44]  Hongyi Wu,et al.  Gateway Deployment optimization in Cellular Wi-Fi Mesh Networks , 2006, J. Networks.

[45]  Masahiko Sakai,et al.  Construction of an ROBDD for a PB-Constraint in Band Form and Related Techniques for PB-Solvers , 2015, IEICE Trans. Inf. Syst..

[46]  Galen H. Sasaki,et al.  Wireless sensor placement for reliable and efficient data collection , 2003, 36th Annual Hawaii International Conference on System Sciences, 2003. Proceedings of the.

[47]  Hashim A. Hashim,et al.  Optimal placement of relay nodes in wireless sensor network using artificial bee colony algorithm , 2016, J. Netw. Comput. Appl..

[48]  Nikolaj Bjørner,et al.  νZ - An Optimizing SMT Solver , 2015, TACAS.

[49]  Niklas Sörensson,et al.  Translating Pseudo-Boolean Constraints into SAT , 2006, J. Satisf. Boolean Model. Comput..

[50]  G. Nemhauser,et al.  Integer Programming , 2020 .

[51]  Michael Gelfond,et al.  Integrating answer set programming and constraint logic programming , 2008, Annals of Mathematics and Artificial Intelligence.

[52]  Mohamed F. Younis,et al.  Strategies and techniques for node placement in wireless sensor networks: A survey , 2008, Ad Hoc Networks.

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

[54]  Nikolaj Bjørner,et al.  Z3: An Efficient SMT Solver , 2008, TACAS.

[55]  Ranveer Chandra,et al.  Optimizing the Placement of Integration Points in Multi-hop Wireless Networks , 2004 .

[56]  Toni Mancini,et al.  Conditional Constraint Satisfaction: Logical Foundations and Complexity , 2007, IJCAI.

[57]  Wayne Smith.  Cyber security in airports , 2015 .