Franco Cicirelli
YOU?
Author Swipe
View article: Quadruped Robots: Bridging Mechanical Design, Control, and Applications
Quadruped Robots: Bridging Mechanical Design, Control, and Applications Open
Quadruped robots have emerged as a prominent field of research due to their exceptional mobility and adaptability in complex terrains. This paper presents an overview of quadruped robots, encompassing their design principles, control mecha…
View article: ParDP: A Parallel Density Peaks-Based Clustering Algorithm
ParDP: A Parallel Density Peaks-Based Clustering Algorithm Open
This paper proposes ParDP, an algorithm and concrete tool for unsupervised clustering, which belongs to the class of density peaks-based clustering methods. Such methods rely on the observation that cluster representative points (centroids…
View article: Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes
Proving Properties of Dekker’s Algorithm for Mutual Exclusion of N Processes Open
Dekker’s algorithm for mutual exclusion of two processes is the well-known first developed correct solution based only on software mechanisms. The algorithm served as the starting point for researchers to create subsequent safe solutions b…
View article: Leveraging Hyperspectral Data in Cognitive Environments
Leveraging Hyperspectral Data in Cognitive Environments Open
Hyperspectral Imaging (HSI) captures data across multiple wavelengths of light, including visible and non-visible spectra (e.g., infrared or ultraviolet). It is usually used to analyze the composition, structure, and condition of objects o…
View article: Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Correctness Verification of Mutual Exclusion Algorithms by Model Checking Open
Mutual exclusion algorithms are at the heart of concurrent/parallel and distributed systems. It is well known that such algorithms are very difficult to analyze, and in the literature, different conjectures about starvation freedom and the…
View article: Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms
Modeling and Analysis of Dekker-Based Mutual Exclusion Algorithms Open
Mutual exclusion is a fundamental problem in concurrent/parallel/distributed systems. The first pure-software solution to this problem for two processes, which is not based on hardware instructions like test-and-set, was proposed in 1965 b…
View article: Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings
Leveraging distributed AI for multi-occupancy prediction in Cognitive Buildings Open
Cognitive Buildings are autonomous smart environments capable of setting themselves according to some self-learned rules. Such rules are inferred according to, e.g., the inhabitants' behaviors, users' needs, and specific policies for optim…
View article: Correctness Verification of Mutual Exclusion Algorithms by Model Checking
Correctness Verification of Mutual Exclusion Algorithms by Model Checking Open
Mutual exclusion algorithms are at the heart of concurrent, distributed/parallel, real-time and operating systems. It is well-known that such algorithms are very difficult to analyze and in the literature different conjectures about starva…
View article: Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets
Formal Modeling and Verification of Embedded Real-Time Systems: An Approach and Practical Tool Based on Constraint Time Petri Nets Open
Modeling and verification of the correct behavior of embedded real-time systems with strict timing constraints is a well-known and important problem. Failing to fulfill a deadline in system operation can have severe consequences in the pra…
View article: Property assessment of Peterson's mutual exclusion algorithms
Property assessment of Peterson's mutual exclusion algorithms Open
The goal of this work was to experiment with the formal modeling and automated reasoning of concurrent/parallel systems, mainly focusing on mutual exclusion algorithms. A concrete method is presented, which depends on timed automata and th…
View article: Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding
Improving Clustering Accuracy of K-Means and Random Swap by an Evolutionary Technique Based on Careful Seeding Open
K-Means is a “de facto” standard clustering algorithm due to its simplicity and efficiency. K-Means, though, strongly depends on the initialization of the centroids (seeding method) and often gets stuck in a local sub-optimal solution. K-M…
View article: When edge intelligence meets cognitive buildings: The COGITO platform
When edge intelligence meets cognitive buildings: The COGITO platform Open
Future buildings are complex systems that aim at improving the quality of life of their inhabitants and increasing safeness, security, and efficiency. In order to reach these goals, they require their own self-management and self-adaptatio…
View article: A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS
A DEVELOPMENT METHODOLOGY FOR CYBER-PHYSICAL SYSTEMS BASED ON DETERMINISTIC THEATRE WITH HYBRID ACTORS Open
The goal of the work described in this paper is to propose a development approach for cyber-physical systems (CPS) which relies on actors as the fundamental modelling blocks. The approach is characterized by its capability to deal with the…
View article: Smart Monitoring and Control in the Future Internet of Things
Smart Monitoring and Control in the Future Internet of Things Open
The Internet of Things (IoT) and related technologies are promising in terms of realizing pervasive and smart applications, which, in turn, have the potential to improve the quality of life of people living in a connected world [...]
View article: Emerging Internet of Things Solutions and Technologies
Emerging Internet of Things Solutions and Technologies Open
The Internet of Things, together with its related emerging solutions and technologies, is driving a revolution with respect to the way people perceive and interact with the surrounding environment [...]
View article: Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors
Admission Control in Home Energy Management Systems Using Theatre and Hybrid Actors Open
The goal of a Home Energy Management System (HEMS) is that of purposely shaping the cumulative energy consumption curves of domestic appliances by imposing suitable monitoring and control policies. The development of HEMS, like the develop…
View article: Seamless development in Java of distributed real-time systems using actors
Seamless development in Java of distributed real-time systems using actors Open
The work described in this paper is concerned with a model-driven development of distributed real-time systems, like cyber-physical systems. A challenge in such systems' development consists of ensuring that a final implementation is compl…
View article: Seamless development in Java of distributed real-time systems using actors
Seamless development in Java of distributed real-time systems using actors Open
The work described in this paper is concerned with a model-driven development of distributed real-time systems, like cyber-physical systems. A challenge in such systems' development consists of ensuring that a final implementation is compl…
View article: Model Checking Mutual Exclusion Algorithms Using Uppaal
Model Checking Mutual Exclusion Algorithms Using Uppaal Open
This paper proposes an approach to modelling and exhaustive verification of mutual exclusion algorithms which is based on Timed Automata in the context of the popular Uppaal toolbox. The approach makes it possible to study the properties o…
View article: Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores
Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores Open
This paper proposes an original framework for modelling and verification (M&V) of starvation-free mutual exclusion algorithms based on weak semaphores, that are without a built-in waiting-process queue. The goal is to support the implement…
View article: Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets
Qualitative and Quantitative Evaluation of Stochastic Time Petri Nets Open
Time Petri Nets (TPN) are a well-known formalism for modelling time-dependent systems with timing constraints. This paper proposes an approach based on a stochastic extension of TPN (sTPN), which enables both qualitative assessment of feas…
View article: Statistical Model Checking of GSPN Models
Statistical Model Checking of GSPN Models Open
Generalized Stochastic Petri Nets (GSPN) are a well-known timed extension of Petri nets suited for
modelling and performance analysis of general time-dependent concurrent systems. The work described in
this paper develops an original…