Linkedin
Research Lines  •

Cyber‐Physical Systems

Description

The LASIGE research line Cyber-Physical Systems (CPS) investigates the functional, human, trustworthiness and timing aspects of cyber-physical systems. This research line focuses on system solutions for offline verification and online monitoring of security- and safety-critical embedded real-time systems, mechanisms for efficient and adaptive interactions among entities in specific scenarios, protocols for autonomous driving scenarios, and visual analytics techniques and tools for exploring heterogeneous datasets from cyber-physical and smart systems, making them more transparent to end-users.

Scientific areas

  • Dependability and adaptation in safety‐critical real‐time and embedded systems
  • Process modelling
  • Control systems
  • Complex event processing
  • Communication security and context awareness in mobile systems
  • Sensor networks
  • Human‐machine interfaces for intelligent systems

Leader:

António Casimiro

Homepage:

https://navigators.di.fc.ul.pt/
Profile picture of
Alan Oliveira de Sá Integrated Researcher
Profile picture of
Ana Luísa Respício Integrated Researcher
Profile picture of
Ana Paula Afonso Integrated Researcher
Profile picture of
António Casimiro Integrated Researcher
Profile picture of
Dulce Domingos Integrated Researcher
Profile picture of
Hasan Heydari Integrated Researcher
Profile picture of
Hugo Miranda Integrated Researcher
Profile picture of
João Guerreiro Integrated Researcher
Profile picture of
João Bimbo Integrated Researcher
Profile picture of
José Cecílio Integrated Researcher
Profile picture of
Luís Pinto Integrated Researcher
Profile picture of
Manuel Fonseca Integrated Researcher
Profile picture of
Maria Beatriz do Carmo Integrated Researcher
Profile picture of
Nuno Cruz Integrated Researcher
Profile picture of
Pedro Ferreira Integrated Researcher
Profile picture of
Vinicius Cogo Integrated Researcher
Profile picture of
Francisco Martins PhD Collaborator
Profile picture of
Naercio Magaia PhD Collaborator
Profile picture of
Cristiana Rosa Collaborator
Profile picture of
Adriano Mao de Ferro PhD Student
Profile picture of
Allan Espindola PhD Student
Profile picture of
Bakary Badjie PhD Student
Profile picture of
Breno Sousa PhD Student
Profile picture of
Diogo Lima PhD Student
Profile picture of
Miracle Aniakor PhD Student
Profile picture of
Nuno Dionísio PhD Student
Profile picture of
Paulo Marques PhD Student
Profile picture of
Pedro Cardoso PhD Student
Profile picture of
Tiago R Carvalho PhD Student
Profile picture of
Zygimantas Jasiunas PhD Student
Profile picture of
Beltrán Vázquez MSc Student
Profile picture of
Bernardo Cabrita MSc Student
Profile picture of
Catarina Moita MSc Student
Profile picture of
Daniel Serras MSc Student
Profile picture of
Gonçalo Costa MSc Student
Inês Martins MSc Student
Profile picture of
Joao Ferreira MSc Student
Profile picture of
João Loureiro MSc Student
Profile picture of
João Lopes MSc Student
Profile picture of
Jose Carlos Ferreira MSc Student
Profile picture of
Luís Sousa MSc Student
Miguel Catarro MSc Student
Profile picture of
Miguel Correia MSc Student
Ricardo Gonçalves MSc Student
Profile picture of
Rui Roque MSc Student
Profile picture of
Sara Palma MSc Student
Ibrahim Velizade Undergraduate Student

ONGOING

Acronym Title Funding Entity Start Date End Date
SEEDS A holistic design of secure vehicular networks: communications, data caching and blockchain services EU 01/03/2021 28/02/2025
SATO Self Assessment Towards Optimization of Building Energy EU H2020 01/10/2020 30/09/2024
CERCIRAS Connecting Education and Research Communities for an Innovative Resource Aware Society COST ACTION 29/09/2020 28/09/2024
SMART2B Smartness to existing Buildings EU H2020 01/09/2021 31/08/2024
VEDLIoT Very Efficient Deep Learning IoT platform EU H2020 01/11/2020 31/10/2023

PAST

Acronym Title Funding Entity Start Date End Date
ADMORPH Adaptive, dynamically morphing, mission and safety-critical CPS EU H2020 01/01/2020 30/06/2023
AQUAMON Dependable Monitoring with Wireless Sensor Networks in Water Environments FCT 01/10/2018 30/09/2022
REDBOOK Robust hardwarE-based Defences against Buffer Overflows and Other cybersecurity attacKs FCT 01/10/2018 30/09/2021
doit Decentralization and Optimization of IoT aware business processes FCT 01/07/2016 31/12/2019
Abyss Autonomic Byzantine Fault-Tolerant Systems FCT 01/07/2016 31/12/2019
NORTH Non-intrusive Observation and RunTime verification of cyber-pHysical systems FCT 01/01/2017 31/12/2018
ARVI Runtime Verification beyond Monitoring COST ACTION 17/12/2014 18/12/2018
Acronym Short Description
Ecological Mapping Ecological Mapping is a mobile application that is used by experts and scientists to better understand the ecological landscape of urban parks and gardens.
VisuaLeague III - Visual Analytics of Multiple Games Prototype for analyzing League of Legend games of professional teams using visualization and clustering techniques.
Play JBT – Mobile Application for the Tropical Botanical Garden of Lisbon Mobile application (Android and iOS), which acts mainly as a helping guide for visitors of the Lisbon Tropical Botanical Garden.
ARWithMaps+ This work aims to continue ARWithMaps, which implements techniques of visualization of points of interest in Augmented Reality including clues to points of interest outside the field of view and using maps.
RoseTrajVis RoseTrajVis - is a system for analyzing trajectories using graphics inspired in wind roses
PAMPA A broadcast algorithm for mobile ad hoc networks
mobIPLity Produces bonnmotion traces from the eduroam records collected by the Instituto Politécnico de Lisboa
KeyManager: admins management tool A software package that facilitates the management of individual logins for system administrators of Linux servers
hsSim An extensible interoperable object-oriented n-Level hierarchical scheduling simulator
Adaptare A framework for automatic and dependable adaptation in dynamic environments
Appia A layered communication toolkit
LASIGE is supported by FCT via projects UIDB/00408/2020 and UIDP/00408/2020

Faculdade de Ciências da Universidade de Lisboa
Departamento de Informática
Edifício C6 Piso 3 - Sala 6.3.30
Campo Grande - 1749 - 016 Lisboa, Portugal

lasige@ciencias.ulisboa.pt

(+351) 217 500 532

LASIGE © Powered by Delta Soluções