
Alessandro Giua
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
- [j90]Diego Deplano
, Mauro Franceschelli
, Alessandro Giua
, Luca Scardovi
:
Distributed Fiedler Vector Estimation With Application to Desynchronization of Harmonic Oscillator Networks. IEEE Control. Syst. Lett. 5(2): 659-664 (2021) - [j89]Zhou He, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Parametric transformation of timed weighted marked graphs: applications in optimal resource allocation. IEEE CAA J. Autom. Sinica 8(1): 179-188 (2021) - 2020
- [j88]Diego Deplano
, Mauro Franceschelli
, Simon Ware, Rong Su, Alessandro Giua:
A Discrete Event Formulation for Multi-Robot Collision Avoidance on Pre-Planned Trajectories. IEEE Access 8: 92637-92646 (2020) - [j87]Diego Deplano
, Mauro Franceschelli, Alessandro Giua:
A nonlinear Perron-Frobenius approach for stability and consensus of discrete-time multi-agent systems. Autom. 118: 109025 (2020) - [j86]Hao Lan, Yin Tong, Jin Guo, Alessandro Giua:
Comments on "A new approach for the verification of infinite-step and K-step opacity using two-way observers" [Automatica 80 (2017) 162-171]. Autom. 122: 109290 (2020) - [j85]Kuize Zhang
, Alessandro Giua:
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30(3): 465-497 (2020) - [j84]Lan Yang, Zhiwu Li
, Alessandro Giua
:
Containment of rumor spread in complex social networks. Inf. Sci. 506: 113-130 (2020) - [j83]Ziyue Ma
, Zhiwu Li
, Alessandro Giua
:
Marking Estimation in a Class of Time Labeled Petri Nets. IEEE Trans. Autom. Control. 65(2): 493-506 (2020) - [j82]Ziyue Ma
, Guanghui Zhu
, Zhiwu Li
, Alessandro Giua
:
Computation of Admissible Marking Sets in Weighted Synchronization-Free Petri Nets by Dynamic Programming. IEEE Trans. Autom. Control. 65(6): 2662-2669 (2020) - [j81]Alessandro Giua
, Stéphane Lafortune
, Carla Seatzu
:
Divergence Properties of Labeled Petri Nets and Their Relevance for Diagnosability Analysis. IEEE Trans. Autom. Control. 65(7): 3092-3097 (2020) - [c101]Chao Gu, Zhiwu Li, Alessandro Giua:
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach. CDC 2020: 4467-4472 - [c100]Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A region-based approach for state estimation of timed automata under no event observation. ETFA 2020: 799-804 - [i8]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets: A Novel Semi-Structural Approach. CoRR abs/2003.14204 (2020) - [i7]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A framework for the analysis of supervised discrete event systems under attack. CoRR abs/2005.00212 (2020) - [i6]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Dynamic Max-Consensus and Size Estimation of Anonymous Multi-Agent Networks. CoRR abs/2009.03858 (2020)
2010 – 2019
- 2019
- [j80]Wenjing Yang
, Leonardo Brenner, Alessandro Giua:
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. IEEE Access 7: 13745-13757 (2019) - [j79]Lan Yang, Zhiwu Li, Alessandro Giua:
Influence minimization in linear threshold networks. Autom. 100: 10-16 (2019) - [j78]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
State estimation of max-plus automata with unobservable events. Autom. 105: 36-42 (2019) - [j77]Zhou He
, Miao Liu, Ziyue Ma
, Zhiwu Li, Alessandro Giua:
An improved approach for marking optimization of timed weighted marked graphs. Discret. Event Dyn. Syst. 29(2): 127-143 (2019) - [j76]Changshun Wu
, Isabel Demongodin, Alessandro Giua:
Correction to "Synchronizing sequences on a class of unbounded systems using synchronized Petri nets". Discret. Event Dyn. Syst. 29(4): 521-526 (2019) - [j75]Ning Ran
, Alessandro Giua
, Carla Seatzu
:
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection. IEEE Trans. Autom. Control. 64(7): 2997-3004 (2019) - [j74]Zhou He
, Zhiwu Li
, Alessandro Giua
, Francesco Basile
, Carla Seatzu
:
Some Remarks on "State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions". IEEE Trans. Autom. Control. 64(12): 5253-5259 (2019) - [c99]Lan Yang, Zhiwu Li, Alessandro Giua:
Rumor Containment by Spreading Correct Information in Social Networks. ACC 2019: 5608-5613 - [c98]Kai Cai, Alessandro Giua, Carla Seatzu:
On Consistent Reduction in Discrete-Event Systems. CASE 2019: 474-479 - [c97]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC 2019: 6718-6723 - [c96]Kuize Zhang, Alessandro Giua:
K-delayed strong detectability of discrete-event systems. CDC 2019: 7647-7652 - [c95]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT 2019: 1061-1066 - [c94]Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Multiple Attacks Detection on Discrete Event Systems. SMC 2019: 2352-2357 - [i5]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Cyber attacks with bounded sensor reading edits for partially-observed discrete event systems. CoRR abs/1906.10207 (2019) - [i4]Diego Deplano
, Mauro Franceschelli, Alessandro Giua:
A Nonlinear Perron-Frobenius Approach for Stability and Consensus of Discrete-Time Multi-Agent Systems. CoRR abs/1907.10461 (2019) - 2018
- [j73]Alessandro Giua, Manuel Silva Suárez
:
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45: 223-239 (2018) - [j72]Christos G. Cassandras
, Alessandro Giua:
Guest editorial: special issue on performance analysis and optimization of discrete event systems. Discret. Event Dyn. Syst. 28(1): 1-2 (2018) - [j71]Christos G. Cassandras
, Alessandro Giua:
Guest editorial: special issue on diagnosis, opacity and supervisory control of discrete event systems. Discret. Event Dyn. Syst. 28(2): 159-160 (2018) - [j70]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Current-state opacity enforcement in discrete event systems under incomparable observations. Discret. Event Dyn. Syst. 28(2): 161-182 (2018) - [j69]Ning Ran
, Hongye Su
, Alessandro Giua
, Carla Seatzu
:
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63(4): 1192-1199 (2018) - [j68]Zhou He
, Zhiwu Li
, Alessandro Giua
:
Performance Optimization for Timed Weighted Marked Graphs Under Infinite Server Semantics. IEEE Trans. Autom. Control. 63(8): 2573-2580 (2018) - [c93]Engel Lefaucheux, Alessandro Giua, Carla Seatzu:
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018: 164-183 - [c92]Diego Deplano
, Mauro Franceschelli, Alessandro Giua:
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems. CDC 2018: 2525-2530 - [c91]Changshun Wu, Isabel Demongodin, Alessandro Giua:
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. CoDIT 2018: 51-57 - [c90]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Computation of Activation Probabilities in the Independent Cascade Model. CoDIT 2018: 791-797 - [c89]Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA 2018: 1161-1164 - [c88]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Influence Maximization by Link Activation in Social Networks. ETFA 2018: 1248-1251 - [i3]Kuize Zhang, Alessandro Giua:
On detectability of labeled Petri nets with inhibitor arcs. CoRR abs/1802.07551 (2018) - 2017
- [j67]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017) - [j66]Alessandro Giua, Cristian Mahulea
, Carla Seatzu:
Decentralized observability of discrete event systems with synchronizations. Autom. 85: 468-476 (2017) - [j65]Ziyue Ma
, Yin Tong, Zhiwu Li, Alessandro Giua
:
Basis Marking Representation of Petri Net Reachability Spaces and Its Application to the Reachability Problem. IEEE Trans. Autom. Control. 62(3): 1078-1093 (2017) - [j64]Ziyue Ma
, Zhiwu Li
, Alessandro Giua
:
Characterization of Admissible Marking Sets in Petri Nets With Conflicts and Synchronizations. IEEE Trans. Autom. Control. 62(3): 1329-1341 (2017) - [j63]Mauro Franceschelli, Alessandro Giua, Alessandro Pisano:
Finite-Time Consensus on the Median Value With Robustness Properties. IEEE Trans. Autom. Control. 62(4): 1652-1667 (2017) - [j62]Yin Tong, Zhiwu Li
, Carla Seatzu, Alessandro Giua:
Verification of State-Based Opacity Using Petri Nets. IEEE Trans. Autom. Control. 62(6): 2823-2837 (2017) - [j61]Zhou He, Zhiwu Li, Alessandro Giua
:
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14(2): 1084-1095 (2017) - [j60]Zhou He
, ZhiWu Li, Alessandro Giua
:
Cycle Time Optimization of Deterministic Timed Weighted Marked Graphs by Transformation. IEEE Trans. Control. Syst. Technol. 25(4): 1318-1330 (2017) - [c87]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of deterministic timed weighted marked graphs. CASE 2017: 956-957 - [c86]Ziyue Ma
, Zhiwu Li, Alessandro Giua:
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC 2017: 4847-4852 - [c85]Diego Deplano
, Simon Ware, Rong Su
, Alessandro Giua:
A heuristic algorithm to optimize execution time of multi-robot path. ICCA 2017: 909-914 - 2016
- [j59]Ziyue Ma
, Zhiwu Li, Alessandro Giua
:
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74: 238-246 (2016) - [j58]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
:
Synchronizing sequences on a class of unbounded systems using synchronized Petri nets. Discret. Event Dyn. Syst. 26(1): 85-108 (2016) - [j57]Yin Tong
, ZhiWu Li
, Alessandro Giua
:
On the Equivalence of Observation Structures for Petri Net Generators. IEEE Trans. Autom. Control. 61(9): 2448-2462 (2016) - [j56]Virginia Pilloni
, Mauro Franceschelli
, Luigi Atzori, Alessandro Giua
:
Deployment of Applications in Wireless Sensor Networks: A Gossip-Based Lifetime Maximization Approach. IEEE Trans. Control. Syst. Technol. 24(5): 1828-1836 (2016) - [c84]Yin Tong, Ziyue Ma
, ZhiWu Li, Carla Seatzu, Alessandro Giua
:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c83]Zhou He, ZhiWu Li, Alessandro Giua
:
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC 2016: 3942-3947 - [c82]Ning Ran, Hongye Su, Alessandro Giua
, Carla Seatzu:
Codiagnosability verification of bounded Petri nets using basis markings. CDC 2016: 3948-3953 - [c81]Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua
:
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT 2016: 1-6 - [c80]Yin Tong
, Ziyue Ma
, Zhiwu Li, Carla Seatzu, Alessandro Giua
:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318 - [e4]Christos G. Cassandras, Alessandro Giua, Zhiwu Li:
13th International Workshop on Discrete Event Systems, WODES 2016, Xi'an, China, May 30 - June 1, 2016. IEEE 2016, ISBN 978-1-5090-4190-9 [contents] - 2015
- [j55]Ziyue Ma
, ZhiWu Li, Alessandro Giua
:
Comments on "Maximally permissive supervisor synthesis based on a new constraint transformation method" [Automatica 48 (2012), 1097-1101]. Autom. 51: 131-134 (2015) - [j54]Yufeng Chen
, ZhiWu Li, Kamel Barkaoui, Alessandro Giua
:
On the enforcement of a class of nonlinear constraints on Petri nets. Autom. 55: 116-124 (2015) - [j53]Mauro Franceschelli
, Alessandro Giua
, Carla Seatzu:
Fast discrete consensus based on gossip for makespan minimization in networked systems. Autom. 56: 60-69 (2015) - [j52]Maria Paola Cabasino, Alessandro Giua
, Christoforos N. Hadjicostis
, Carla Seatzu:
Fault model identification and synthesis in Petri nets. Discret. Event Dyn. Syst. 25(3): 419-440 (2015) - [j51]Alessandro Giua
, Carla Seatzu:
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2): 693-701 (2015) - [j50]Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-Time Consensus With Disturbance Rejection by Discontinuous Local Interactions in Directed Graphs. IEEE Trans. Autom. Control. 60(4): 1133-1138 (2015) - [j49]Ziyue Ma
, ZhiWu Li, Alessandro Giua
:
Design of Optimal Petri Net Controllers for Disjunctive Generalized Mutual Exclusion Constraints. IEEE Trans. Autom. Control. 60(7): 1774-1785 (2015) - [j48]Jianhong Ye, Zhiwu Li
, Alessandro Giua
:
Decentralized Supervision of Petri Nets With a Coordinator. IEEE Trans. Syst. Man Cybern. Syst. 45(6): 955-966 (2015) - [c79]Mauro Franceschelli
, Alessandro Giua
, Carla Seatzu:
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS 2015: 218-223 - [c78]Ziyue Ma
, ZhiWu Li, Alessandro Giua
:
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC 2015: 365-370 - [c77]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940 - [c76]Zhou He, Zhiwu Li, Alessandro Giua
:
Cycle time optimization of deterministic timed weighted marked graphs. CASE 2015: 274-279 - [c75]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua
:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349 - [c74]ShouGuang Wang, Dan You, Carla Seatzu, Alessandro Giua
:
Complete enumeration of minimal siphons in ordinary Petri nets based on problem partitioning. CDC 2015: 356-361 - [c73]Ziyue Ma
, Zhiwu Li, Alessandro Giua
:
A method to verify the controllability of language specifications in Petri nets based on basis marking analysis. CDC 2015: 1675-1681 - [r1]Alessandro Giua:
Discrete Event Systems and Hybrid Systems, Connections Between. Encyclopedia of Systems and Control 2015 - 2014
- [j47]Yu Ru, Maria Paola Cabasino, Alessandro Giua
, Christoforos N. Hadjicostis
:
Supervisor synthesis for discrete event systems under partial observation and arbitrary forbidden state specifications. Discret. Event Dyn. Syst. 24(3): 275-307 (2014) - [j46]Alessandro Giua
, Carla Seatzu:
Petrinetze und die Steuerung Ereignisdiskreter Systeme. Inform. Spektrum 37(3): 199-210 (2014) - [j45]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
:
Testing Experiments on Synchronized Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 125-138 (2014) - [j44]Maria Paola Cabasino, Alessandro Giua
, Carla Seatzu:
Diagnosability of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 144-153 (2014) - [j43]Maria Paola Cabasino, Alessandro Giua
, Andrea Paoli, Carla Seatzu:
A Remark on the Decentralized Diagnosis of Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 44(11): 1549 (2014) - [c72]Mauro Franceschelli, Alessandro Giua, Alessandro Pisano:
Finite-time consensus on the median value by discontinuous control. ACC 2014: 946-951 - [c71]Zhou He, ZhiWu Li, Alessandro Giua
:
Marking optimization of deterministic timed weighted marked graphs. CASE 2014: 413-418 - [c70]Alessandro Giua
, Carla Seatzu:
A survey on state estimation using Petri nets. ECC 2014: 2630-2635 - [c69]Ziyue Ma
, Zhiwu Li, Alessandro Giua
:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES 2014: 66-72 - [c68]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua
:
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. WODES 2014: 155-161 - [c67]Yin Tong, Zhiwu Li, Alessandro Giua
:
Observation Equivalence of Petri Net Generators. WODES 2014: 338-343 - 2013
- [j42]Mauro Franceschelli
, Andrea Gasparri
, Alessandro Giua
, Carla Seatzu:
Decentralized estimation of Laplacian eigenvalues in multi-agent systems. Autom. 49(4): 1031-1036 (2013) - [j41]Yorai Wardi, Alessandro Giua
, Carla Seatzu:
IPA for continuous stochastic marked graphs. Autom. 49(5): 1204-1215 (2013) - [j40]Zhiyun Lin
, Wei Ding, Gangfeng Yan, Changbin Yu, Alessandro Giua
:
Leader-follower formation via complex Laplacian. Autom. 49(6): 1900-1906 (2013) - [j39]Maria Paola Cabasino, Alessandro Giua
, Carla Seatzu:
Diagnosis Using Labeled Petri Nets With Silent or Undistinguishable Fault Events. IEEE Trans. Syst. Man Cybern. Syst. 43(2): 345-355 (2013) - [j38]Maria Paola Cabasino, Alessandro Giua
, Andrea Paoli
, Carla Seatzu:
Decentralized Diagnosis of Discrete-Event Systems Using Labeled Petri Nets. IEEE Trans. Syst. Man Cybern. Syst. 43(6): 1477-1485 (2013) - [c66]Mauro Franceschelli, Alessandro Pilloni, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-time consensus with disturbance attenuation for directed switching network topologies by discontinuous local interactions. CDC 2013: 2611-2616 - [c65]Jeremy Van Gorp, Alessandro Giua
, Michael Defoort, Mohamed Djemai
:
Active diagnosis for a class of switched systems. CDC 2013: 5003-5008 - [c64]Daniele Rosa, Alessandro Giua
:
A non-progressive model of innovation diffusion in social networks. CDC 2013: 6202-6207 - [c63]Ziyue Ma
, Zhiwu Li, Alessandro Giua
:
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA 2013: 1-8 - [c62]Yin Tong
, Zhiwu Li, Alessandro Giua
:
General observation structures for Petri nets. ETFA 2013: 1-4 - [p5]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Introduction to Petri Nets. Control of Discrete-Event Systems 2013: 191-211 - [p4]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Structural Analysis of Petri Nets. Control of Discrete-Event Systems 2013: 213-233 - [p3]Alessandro Giua:
Supervisory Control of Petri Nets with Language Specifications. Control of Discrete-Event Systems 2013: 235-255 - [p2]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis of Petri Nets. Control of Discrete-Event Systems 2013: 279-300 - [p1]Béatrice Bérard, Maria Paola Cabasino, Angela Di Febbraro, Alessandro Giua, Carla Seatzu:
Petri Nets with Time. Control of Discrete-Event Systems 2013: 319-341 - [i2]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing experiments on synchronized Petri nets. CoRR abs/1307.2427 (2013) - 2012
- [j37]Jörg Raisch, Alessandro Giua
, Thomas Moor, Stéphane Lafortune:
Special issue on recent trends in discrete event systems. Discret. Event Dyn. Syst. 22(4): 381-382 (2012) - [j36]Maria Paola Cabasino, Alessandro Giua
, Stéphane Lafortune, Carla Seatzu:
A New Approach for Diagnosability Analysis of Petri Nets Using Verifier Nets. IEEE Trans. Autom. Control. 57(12): 3104-3117 (2012) - [c61]Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-Time Consensus based Clock Synchronization by Discontinuous Control. ADHS 2012: 172-177 - [c60]Daniele Rosa, Mauro Franceschelli, Alessandro Giua:
Robust common reference estimation and formation control for multi-agent systems. ACC 2012: 3889-3894 - [c59]Maria Paola Cabasino, Alessandro Giua
, Laura Marcias, Carla Seatzu:
A comparison among tools for the diagnosability of discrete event systems. CASE 2012: 218-223 - [c58]Virginia Pilloni
, Mauro Franceschelli
, Luigi Atzori, Alessandro Giua
:
A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks. ICC 2012: 1372-1377 - [c57]Isabel Demongodin, Alessandro Giua:
Stationary behavior of controlled generalized batches Petri nets. WODES 2012: 54-60 - [i1]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems. CoRR abs/1206.4509 (2012) - 2011
- [j35]Mauro Franceschelli
, Alessandro Giua
, Carla Seatzu:
Quantized consensus in Hamiltonian graphs. Autom. 47(11): 2495-2503 (2011) - [c56]Alessandro Giua
:
State Estimation and Fault Detection Using Petri Nets. Petri Nets 2011: 38-48 - [c55]Maria Paola Cabasino, L. Contini, Alessandro Giua
, Carla Seatzu, A. Solinas:
A software platform for the integration of discrete event systems tools. CASE 2011: 45-51 - [c54]Maria Paola Cabasino, Alessandro Giua
, Carla Seatzu, A. Solinas, K. Zedda:
Fault diagnosis of an ABS system using Petri nets. CASE 2011: 594-599 - [c53]Alessandro Giua
:
Welcome message from the program chair. CASE 2011 - [c52]Mohammad Hejri, Alessandro Giua
:
Hybrid modeling and control of switching DC-DC converters via MLD systems. CASE 2011: 714-719 - [c51]Maria Paola Cabasino, Alessandro Giua
, Cristian Mahulea
, Carla Seatzu:
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384 - [c50]Andrea Gasparri
, Donato Di Paola
, Alessandro Giua
, Giovanni Ulivi, David Naso:
Consensus-based decentralized supervision of Petri nets. CDC/ECC 2011: 1128-1135 - [c49]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Synchronizing sequences on not strongly connected Petri nets. SpringSim (TMS-DEVS) 2011: 45-50 - 2010