Paolo Di Giamberardino

SN Comput. Sci., January, 2024

Vaccination, Booster Doses and Social Constraints: A Steady State and an Optimal Transient Approaches to Epidemics Containment.

[BibT_eX]

[DOI]

SN Comput. Sci., January, 2024

2023

Breast Cancer Epidemic Model and Optimal Control.

[BibT_eX]

[DOI]

Martina Brunetti

Marialourdes Ingrosso

Proceedings of the 20th International Conference on Informatics in Control, 2023

Optimal Control Strategy to Reduce HIV-1 Infection in the Brain.

[BibT_eX]

[DOI]

Sofia Baiocchi

Federica Blengini

Francesca Caleno

Proceedings of the 9th International Conference on Control, 2023

2022

Kalman filtering approach for early estimation of the number of hidden HIV infected patients.

[BibT_eX]

[DOI]

Proceedings of the 26th International Conference on System Theory, Control and Computing , 2022

Optimal Resource Allocation for Fast Epidemic Monitoring in Networked Populations.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Informatics in Control, 2022

Optimal Social Limitation Reduction under Vaccination and Booster Doses.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Informatics in Control, 2022

2021

Dynamical Evolution of COVID-19 in Italy With an Evaluation of the Size of the Asymptomatic Infective Population.

[BibT_eX]

[DOI]

Carmela Sinisgalli

IEEE J. Biomed. Health Informatics, 2021

A Control Based Mathematical Model for the Evaluation of Intervention Lines in COVID-19 Epidemic Spread: The Italian Case Study.

[BibT_eX]

[DOI]

Rita Caldarella

Symmetry, 2021

Evaluation of the effect of different policies in the containment of epidemic spreads for the COVID-19 case.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2021

A multi-group epidemic model to represent the COVID-19 spread among regions: analysis of the Italian case.

[BibT_eX]

[DOI]

Carmela Sinisgalli

Proceedings of the 29th Mediterranean Conference on Control and Automation, 2021

Optimal exit strategy design for COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021

What if vaccinated individuals could be infected?

[BibT_eX]

[DOI]

Proceedings of the 25th International Conference on System Theory, Control and Computing, 2021

Vaccination and Time Limited Immunization for SARS-CoV-2 Infection.

[BibT_eX]

[DOI]

Proceedings of the 18th International Conference on Informatics in Control, 2021

Modeling, Analysis and Control of COVID-19 in Italy: Study of Scenarios.

[BibT_eX]

[DOI]

Rita Caldarella

Proceedings of the 18th International Conference on Informatics in Control, 2021

2020

A new measles epidemic model: analysis, identification and prediction.

[BibT_eX]

[DOI]

Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020

Singular Solution in Optimal Control for Two Input Dynamics: the case of a SIRC Epidemic Model.

[BibT_eX]

[DOI]

Proceedings of the 28th Mediterranean Conference on Control and Automation, 2020

Age Based Modelling of SARS-CoV-2 Contagion: the Italian case.

[BibT_eX]

[DOI]

Fabio Albano

Federico Frasca

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

Data driven characterization of COVID-19.

[BibT_eX]

[DOI]

Proceedings of the 24th International Conference on System Theory, Control and Computing, 2020

2019

Modeling the Effects of Prevention and Early Diagnosis on HIV/AIDS Infection Diffusion.

[BibT_eX]

[DOI]

Luca Compagnucci

Chiara De Giorgi

IEEE Trans. Syst. Man Cybern. Syst., 2019

Optimal Control of Virus Spread under Different Conditions of Resources Limitations.

[BibT_eX]

[DOI]

Inf., 2019

Optimal Resource Allocation to Reduce an Epidemic Spread and Its Complication.

[BibT_eX]

[DOI]

Inf., 2019

Self-induced emotions as alternative paradigm for driving brain-computer interfaces.

[BibT_eX]

[DOI]

Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2019

A linear quadratic regulator for nonlinear SIRC epidemic model.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

An optimal control approach to public investments for unemployment reduction.

[BibT_eX]

[DOI]

Barbara Bazzana

Tommaso Belvedere

Proceedings of the 23rd International Conference on System Theory, Control and Computing, 2019

Analysis, Simulation and Control of a New Measles Epidemic Model.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Control, 2019

Optimal Control to Limit the Propagation Effect of a Virus Outbreak on a Network.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Control, 2019

An Improvement in a Local Observer Design for Optimal State Feedback Control: The Case Study of HIV/AIDS Diffusion.

[BibT_eX]

[DOI]

Proceedings of the 16th International Conference on Informatics in Control, 2019

The influence of the choice of the cost index on the effectiveness of optimal resources allocation strategies for Hepatitis B Virus treatment.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Dynamic extension for direct integrability of singular solutions in optimal control problems.

[BibT_eX]

[DOI]

Proceedings of the 17th European Control Conference, 2019

Modeling and control of measles epidemic spread with immunodepressed individuals and possible complications.

[BibT_eX]

[DOI]

Proceedings of the 58th IEEE Conference on Decision and Control, 2019

2018

Jump from parallel to sequential proofs: exponentials.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2018

Optimal Control with Singular Solution for SIR Epidemic Systems.

[BibT_eX]

[DOI]

Proceedings of the 26th Mediterranean Conference on Control and Automation, 2018

An Output Feedback Control with State Estimation for the Containment of the HIV / AIDS Diffusion.

[BibT_eX]

[DOI]

Proceedings of the 26th Mediterranean Conference on Control and Automation, 2018

Direct Integrability for State Feedback Optimal Control with Singular Solutions.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, Automation and Robotics, 2018

State Feedback Optimal Control with Singular Solution for a Class of Nonlinear Dynamics.

[BibT_eX]

[DOI]

Proceedings of the 15th International Conference on Informatics in Control, 2018

Dynamic Estimation of Visco-elastic Mechanical Characteristics of Biological Samples under Micro Manipulation.

[BibT_eX]

[DOI]

Maria Laura Aceto

Oliviero Giannini

Matteo Verotti

Proceedings of the 15th International Conference on Informatics in Control, 2018

2017

Optimal control of SIR epidemic model with state dependent switching cost index.

[BibT_eX]

[DOI]

Biomed. Signal Process. Control., 2017

Stiffness Characterization of Biological Tissues by Means of MEMS-Technology Based Micro Grippers Under Position Control.

[BibT_eX]

[DOI]

Alvise Bagolini

Pierluigi Bellutti

Proceedings of the Advances in Service and Industrial Robotics, 2017

A new model of the HIV/AIDS infection diffusion and analysis of the intervention effects.

[BibT_eX]

[DOI]

Luca Compagnucci

Chiara De Giorgi

Proceedings of the 25th Mediterranean Conference on Control and Automation, 2017

A State Dependent Approach to Resource Allocation Strategies.

[BibT_eX]

[DOI]

Proceedings of the Informatics in Control, Automation and Robotics, 2017

An Optimal Control Problem Formulation for a State Dependent Resource Allocation Strategy.

[BibT_eX]

[DOI]

Proceedings of the 14th International Conference on Informatics in Control, 2017

An Affective BCI Driven by Self-induced Emotions for People with Severe Neurological Disorders.

[BibT_eX]

[DOI]

Giuseppe Placidi

Luigi Cinque

Matteo Spezialetti

Proceedings of the New Trends in Image Analysis and Processing - ICIAP 2017, 2017

Design of a Classification Strategy for Light Microscopy Images of the Human Liver.

[BibT_eX]

[DOI]

Luigi Cinque

Alberto De Santis

Proceedings of the Image Analysis and Processing - ICIAP 2017, 2017

2016

On session types and polynomial time.

[BibT_eX]

[DOI]

Ugo Dal Lago

Math. Struct. Comput. Sci., 2016

Classification of Emotional Signals from the DEAP dataset.

[BibT_eX]

[DOI]

Giuseppe Placidi

Andrea Petracca

Matteo Spezialetti

Proceedings of the 4th International Congress on Neurotechnology, 2016

2015

Vicious circles in contracts and in logic.

[BibT_eX]

[DOI]

Massimo Bartoletti

Tiziana Cimoli

Roberto Zunino

Sci. Comput. Program., 2015

Computational modeling of objects presented in images: fundamentals, methods and applications.

[BibT_eX]

[DOI]

João Manuel R. S. Tavares

Renato M. Natal Jorge

Comput. methods Biomech. Biomed. Eng. Imaging Vis., 2015

Debits and Credits in Petri Nets and Linear Logic.

[BibT_eX]

[DOI]

Massimo Bartoletti

Pierpaolo Degano

Roberto Zunino

Proceedings of the Logic, Rewriting, and Concurrency, 2015

2013

Contract agreements via logic.

[BibT_eX]

[DOI]

Massimo Bartoletti

Tiziana Cimoli

Roberto Zunino

Proceedings of the Proceedings 6th Interaction and Concurrency Experience, 2013

2011

Soft Session Types

[BibT_eX]

[DOI]

Ugo Dal Lago

Proceedings of the Proceedings 18th International Workshop on Expressiveness in Concurrency, 2011

Soft Session Types (Long Version)

[BibT_eX]

[DOI]

Ugo Dal Lago

CoRR, 2011

2010

An Adaptive Web-Based Support to e-Education in Robotics and Automation.

[BibT_eX]

[DOI]

Marco Temperini

Proceedings of the Organizational, Business, and Technological Aspects of the Knowledge Society, 2010

MindLab, a Web-accessible Laboratory for Adaptive e-Educational Robot Teleoperation.

[BibT_eX]

M. Spanò Cuomo

Marco Temperini

Proceedings of the ICINCO 2010, 2010

Input-state matching under piecewise constant control for systems on matrix Lie groups.

[BibT_eX]

[DOI]

Proceedings of the 49th IEEE Conference on Decision and Control, 2010

2008

Proof nets sequentialisation in multiplicative linear logic.

[BibT_eX]

[DOI]

Claudia Faggian

Ann. Pure Appl. Log., 2008

2007

Homography-based mobile robot modeling for digital control implementation.

[BibT_eX]

Andrea Usai

Proceedings of the ICINCO 2007, 2007

Dynamic sensor networks: An approach to optimal dynamic field coverage.

[BibT_eX]

Simone Gabriele

Proceedings of the ICINCO 2007, 2007

2006

Autonomous robot motion in an unknown environment by local 3D elevation map construction.

[BibT_eX]

[DOI]

Andrea Usai

Integr. Comput. Aided Eng., 2006

Jump from Parallel to Sequential Proofs: Multiplicatives.

[BibT_eX]

[DOI]

Claudia Faggian

Proceedings of the Computer Science Logic, 20th International Workshop, 2006

On Equivalence and Feedback Equivalence to Finitely Computable Sampled Models.

[BibT_eX]

[DOI]

Proceedings of the 45th IEEE Conference on Decision and Control, 2006

2005

Local path planning in unknown environment by local 3d elevation map construction.

[BibT_eX]

Andrea Usai

Proceedings of the ICINCO 2005, 2005

2003

A Neural Network based Approach for Planning Human-like Locomotion in Biped Robot.

[BibT_eX]

Roberto Saccone

Proceedings of the 22nd IASTED International Conference on Modelling, 2003

2002

Why multirate sampling is instrumental for control design purpose: the example of the one-leg hopping robot.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Conference on Decision and Control, 2002

2001

Control of nonlinear driftless dynamics: continuous solutions from discrete time design.

[BibT_eX]

[DOI]

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1996

Digital control through finite feedback discretizability.

[BibT_eX]

[DOI]