WorldCat Identities

Giua, Alessandro

Overview
Works: 48 works in 93 publications in 2 languages and 1,410 library holdings
Genres: Conference papers and proceedings 
Roles: Author, Editor, Other, Thesis advisor, htt, Contributor, Opponent
Classifications: TJ212.2, 629.8
Publication Timeline
.
Most widely held works by Alessandro Giua
Analisi dei sistemi dinamici by Alessandro Giua( )

30 editions published between 2005 and 2009 in 3 languages and held by 515 WorldCat member libraries worldwide

Questo testo si propone di fornire al lettore una panoramica dettagliata delle principali metodologie modellistiche usate per la rappresentazione e lanalisi dei sistemi dinamici lineari e a tempo continuo (con alcuni cenni ai sistemi non lineari). Il testo è stato pensato per il Nuovo Ordinamento didattico che prevede una Laurea triennale e una Laurea Specialistica biennale. Lobiettivo è quello di coprire i contenuti di: un insegnamento introduttivo allAutomatica per la Laurea, pensando ad un corso di studi che preveda un primo corso di Analisi dei Sistemi ed un secondo corso di Controlli Automatici; un insegnamento avanzato di Analisi dei Sistemi per la Laurea Specialistica. Il testo è strutturato in maniera tale che gli studenti della Laurea possano seguire un percorso in cui nei primi capitoli le sezioni dedicate ad argomenti complementari (rivolte agli studenti della Laurea Specialistica) possano essere omesse senza pregiudicare la comprensione. Gli argomenti rivolti agli studenti della Laurea Specialistica sono trattati in svariate sezioni di complemento dei primi capitoli e negli ultimi due capitoli. Le caratteristiche salienti di questo testo, che lo distinguono da altri presenti nel panorama italiano, sono le seguenti: si tratta di un volume di circa 400 pagine principalmente dedicato allanalisi dei sistemi lineari e stazionari a ciclo aperto (e non dei sistemi in controreazione o in genere dei sistemi di controllo) e a tempo continuo (e non dei sistemi a tempo discreto). Due capitoli, tuttavia, approfondiscono lo studio dei sistemi in retroazione e dei sistemi non lineari. Vengono studiati in dettaglio sia i modelli ingresso-uscita sia i modelli in termini di variabili di stato. Vengono illustrate in dettaglio sia le tecniche di analisi nel dominio del tempo che le tecniche di analisi nel dominio della variabile di Laplace e della frequenza
Sixth International Workshop on Discrete Event Systems : 2-4 October, 2002, Zaragoza, Spain : proceedings by Workshop on Discrete Event Systems( )

5 editions published in 2002 in English and held by 299 WorldCat member libraries worldwide

Analisi dei sistemi lineari by Alessandro Giua( )

7 editions published between 2004 and 2006 in Italian and English and held by 289 WorldCat member libraries worldwide

Annotation
2016 13th International Workshop on Discrete Event Systems (WODES) May 30-June 1, 2016, Xi'an, China by International Workshop on Discrete Event Systems( )

2 editions published in 2016 in English and held by 230 WorldCat member libraries worldwide

Analysis and design of hybrid systems 2006 : a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, Italy by Alessandro Giua( )

1 edition published in 2007 in English and held by 11 WorldCat member libraries worldwide

Contains the proceedings of ADHS06: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006. This work contains 65 papers, and includes plenary lectures presented by three distinguished speakers, and features interesting research topics
Sistemi ad eventi discreti by Angela Di Febbraro( Book )

2 editions published in 2002 in Italian and held by 9 WorldCat member libraries worldwide

Proceedings, sixth International Workshop on Discrete Event Systems : 2-4 October 2002, Zaragoza, Spain by Workshop on Discrete Event Systems( Book )

1 edition published in 2003 in English and held by 3 WorldCat member libraries worldwide

3rd IFAC Conference on Analysis and Design of Hybrid Systems 2009 : Zaragoza, Spain, 16-18 September, 2009( Book )

2 editions published between 2009 and 2010 in English and held by 3 WorldCat member libraries worldwide

Formal methods and manufacturing (FM & M'99) : international workshop, Zaragoza, Spain, September, 1999 : proceedings( Book )

1 edition published in 1999 in English and held by 3 WorldCat member libraries worldwide

Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets" by Changshun Wu( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

An improved approach for marking optimization of timed weighted marked graphs by Zhou He( )

1 edition published in 2019 in English and held by 2 WorldCat member libraries worldwide

Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems by Christos G Cassandras( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

Guest editorial: special issue on performance analysis and optimization of discrete event systems by Christos G Cassandras( )

1 edition published in 2018 in English and held by 2 WorldCat member libraries worldwide

Test and diagnosis of discrete event systems using Petri nets by Marco Pocci( Book )

2 editions published in 2013 in English and held by 2 WorldCat member libraries worldwide

Le test d'identification d'état d'un système à événement discret (SED) a pour but d'en identifier l'état final, lorsque son état initial est inconnu. Une solution classique à ce problème, en supposant que le SED n'ait pas de sorties observables, consiste à déterminer une séquences de synchronisation, c.à-d., une séquence d'événements d'entrée qui conduit le SED sur un état connu. Ce problème a été résolu dans les années 60' à l'aide des automates. L'objectif principal de cette thèse est d'utiliser les réseaux de Petri (RdP) pour obtenir une résolution plus optimal de ce problème et pour une plus large classe de systèmes.Initialement, nous montrons que la méthode classique peut être aisément étendue aux RdP synchronisés. Pour cette classe de réseaux non-autonomes, toute transition est associée à un événement d'entrée.L'approche proposée est générale, dans la mesure où elle s'applique à des RdP bornés arbitraires. Cependant, elle engendre le problème d'explosion combinatoire du nombre d'états. Pour obtenir des meilleures solutions, nous considérons une classe spéciale de RdP : les graphes d'état (GdE). Pour ces réseaux, nous considérons d'abord les GdE fortement connexes et proposons des approches pour la construction de SS, qui exploitent les propriétés structurelles du réseau en évitant ainsi une énumération exhaustive de l'espace d'état. Ces résultats s'étendent aux GdE non fortement connexes et à tout RdP synchronisé composé de GdE. Enfin, nous considérons la classe des RdP non bornés et proposons des séquences qui synchronisent le marquage des places non bornées. Une boîte à outils fournit toutes les approches décrites et est appliquée à des différents bancs d'essai
Analysis and Design of Hybrid Systems 2006( )

1 edition published in 2006 in English and held by 2 WorldCat member libraries worldwide

This volume contains the proceedings of ADHS06: the 2nd IFAC Conference on Analysis and Design of Hybrid Systems, organized in Alghero (Italy) on June 7-9, 2006. ADHS is a series of triennial meetings that aims to bring together researchers and practitioners with a background in control and computer science to provide a survey of the advances in the field of hybrid systems, and of their ability to take up the challenge of analysis, design and verification of efficient and reliable control systems. ADHS'06 is the second Conference of this series after ADHS'03 in Saint Malo. It contains 65 papers selected through careful reviewing process. It includes plenary lectures presented by three distinguished speakers, and features interesting new research topics
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets by Marco Pocci( )

1 edition published in 2016 in English and held by 2 WorldCat member libraries worldwide

Proceedings by IEEE International Workshop on Discrete Event Systems( Book )

2 editions published in 2002 in English and held by 2 WorldCat member libraries worldwide

Methods for finite-time average consensus protocols design, network robustness assessment and network topology reconstruction by Thi-Minh-Dung Tran( )

1 edition published in 2015 in English and held by 2 WorldCat member libraries worldwide

Consensus of Multi-agent systems has received tremendous attention during the last decade. Consensus is a cooperative process in which agents interact in order to reach an agreement. Most of studies are committed to analysis of the steady-state behavior of this process. However, during the transient of this process a huge amount of data is produced. In this thesis, our aim is to exploit data produced during the transient of asymptotic average consensus algorithms in order to design finite-time average consensus protocols, assess the robustness of the graph, and eventually recover the topology of the graph in a distributed way. Finite-time Average Consensus guarantees a minimal execution time that can ensure the efficiency and the accuracy of sophisticated distributed algorithms in which it is involved. We first focus on the configuration step devoted to the design of consensus protocols that guarantee convergence to the exact average in a given number of steps. By considering networks of agents modelled with connected undirected graphs, we formulate the problem as the factorization of the averaging matrix and investigate distributed solutions to this problem. Since, communicating devices have to learn their environment before establishing communication links, we suggest the usage of learning sequences in order to solve the factorization problem. Then a gradient backpropagation-like algorithm is proposed to solve a non-convex constrained optimization problem. We show that any local minimum of the cost function provides an accurate factorization of the averaging matrix. By constraining the factor matrices to be as Laplacian-based consensus matrices, it is now well known that the factorization of the averaging matrix is fully characterized by the nonzero Laplacian eigenvalues. Therefore, solving the factorization of the averaging matrix in a distributed way with such Laplacian matrix constraint allows estimating the spectrum of the Laplacian matrix. Since that spectrum can be used to compute some robustness indices (Number of spanning trees and Effective graph Resistance also known as Kirchoff index), the second part of this dissertation is dedicated to Network Robustness Assessment through distributed estimation of the Laplacian spectrum. The problem is posed as a constrained consensus problem formulated in two ways. The first formulation (direct approach) yields a non-convex optimization problem solved in a distributed way by means of the method of Lagrange multipliers. The second formulation (indirect approach) is obtained after an adequate re-parameterization. The problem is then convex and solved by using the distributed subgradient algorithm and the alternating direction method of multipliers. Furthermore, three cases are considered: the final average value is perfectly known, noisy, or completely unknown. We also provide a way for computing the multiplicities of the estimated eigenvalues by means of an Integer programming. In this spectral approach, given the Laplacian spectrum, the network topology can be reconstructed through estimation of Laplacian eigenvector. The efficiency of the proposed solutions is evaluated by means of simulations. However, in several cases, convergence of the proposed algorithms is slow and needs to be improved in future works. In addition, the indirect approach is not scalable to very large graphs since it involves the computation of roots of a polynomial with degree equal to the size of the network. However, instead of estimating all the spectrum, it can be possible to recover only a few number of eigenvalues and then deduce some significant bounds on robustness indices
Special issue on analysis and design of hybrid systems( )

1 edition published in 2011 in English and held by 2 WorldCat member libraries worldwide

Current-state opacity enforcement in discrete event systems under incomparable observations by Yin Tong( )

1 edition published in 2017 in English and held by 2 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.52 (from 0.42 for Analisi de ... to 0.98 for Sistemi ad ...)

Sixth International Workshop on Discrete Event Systems : 2-4 October, 2002, Zaragoza, Spain : proceedings Proceedings, sixth International Workshop on Discrete Event Systems : 2-4 October 2002, Zaragoza, Spain Proceedings
Covers
Sixth International Workshop on Discrete Event Systems : 2-4 October, 2002, Zaragoza, Spain : proceedingsAnalisi dei sistemi lineariAnalysis and design of hybrid systems 2006 : a proceedings volume from the 2nd IFAC Conference, 7-9 June, 2006, Alghero, ItalyProceedings, sixth International Workshop on Discrete Event Systems : 2-4 October 2002, Zaragoza, SpainProceedings
Languages
Italian (35)

English (27)