RAISE 
SDFS
Satellite Driven Fire Simulator (Italy Lazio Region POR FESR 2014-2020, Aerospace)
Tag: Cyber-physical systems
Page 2 of 3
Parallel Statistical Model Checking for Safety Verification in Smart Grids
Toni Mancini, Federico Mari, Igor Melatti, Ivano Salvo, Enrico Tronci, J.K. Gruber, B. Hayes, M. Prodanovic, L. Elmegaard. In proceedings of the 2018 IEEE International Conference on Smart Grid Communications (SmartGridComm 2018). Aalborg, Denmark. IEEE, 2018.
Categories
Publications
SCAPR
Advanced System for Countering Unmanned Aerial Vehicles / Sistema per il Contrasto di Aeromobili a Pilotaggio Remoto (Italy Lazio Region POR FESR 2014-2020, Aerospace and security)
Categories
ProjectsResidential Demand Management using Individualised Demand Aware Price Policies
Barry Hayes, Igor Melatti, Toni Mancini, Milan Prodanovic, Enrico Tronci. IEEE Transactions on Smart Grid, 8(3), pages 1284-1294, 2017.
Categories
Publications
ESA-ITI-AO6067
Model Checker Validator for Satellite Operational Procedure (ESA ITI, European Space Agency)
Categories
Projects
ULISSE
USOCs KnowLedge Integration and Dissemination for Space Science Experimentation (EC FP7-SPACE-2007-1, European Commission)
Categories
Projects
INTERCEPTOR
Motion Planning with moving obstacles (Consulting activity, INTECS s.p.a.)
Categories
Projects
SAPP
Advanced System for Optimal and Fault-Tolerant Positioning of Relays Nodes in a Radiogoniometry System (Consulting activity, Log.In s.r.l.)
