default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDAlessandro Giua
Person information
SPARQL queries 
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2025
[j110]Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
A joint diagnoser approach for diagnosability of discrete event systems under attack. Autom. 172: 112004 (2025)- 2024
- [j109]Diego Deplano
, Mauro Franceschelli, Alessandro Giua:
Stability of Nonexpansive Monotone Systems and Application to Recurrent Neural Networks. IEEE Control. Syst. Lett. 8: 1793-1798 (2024) - [j108]Kun Peng, Yufeng Chen, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Concealability Analysis for Current-State Opacity Enforcement via Editing Functions. IEEE Trans. Autom. Control. 69(10): 7231-7238 (2024) - [c129]Yike Li, Yin Tong, Alessandro Giua:
Safe Optimal Train Formation Control in Virtual Coupling Using Control Barrier Functions. CASE 2024: 647-652 - [c128]Tianyu Liu, Carla Seatzu, Federica Pascucci, Graziana Cavone, Alessandro Giua:
Security-by-Design of Smart Water Supply Systems: a Switching Output Automaton-based Approach. CASE 2024: 1532-1539 - [c127]Wenjie Zhao, Diego Deplano, Zhiwu Li, Alessandro Giua, Mauro Franceschelli:
Resilient Networks for Multi-Agent Systems based on Graph Self-Organization into Random Approximate Regular Graphs. CASE 2024: 2975-2981 - [i14]Wenjie Zhao, Diego Deplano, Zhiwu Li, Alessandro Giua, Mauro Franceschelli:
Algebraic Connectivity Control and Maintenance in Multi-Agent Networks under Attack. CoRR abs/2406.18467 (2024) - [i13]Kuize Zhang, Xiaoguang Han, Alessandro Giua, Carla Seatzu:
[Draft] High-order observers and high-order state-estimation-based properties of discrete-event systems. CoRR abs/2408.06141 (2024) - [i12]Chao Gao, Dimitri Lefebvre, Carla Seatzu, Zhi-Wu Li, Alessandro Giua:
State estimation of timed automata under partial observation [Draft version]. CoRR abs/2409.05810 (2024) - 2023
- [j107]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Dynamic Min and Max Consensus and Size Estimation of Anonymous Multiagent Networks. IEEE Trans. Autom. Control. 68(1): 202-213 (2023) - [j106]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multiagent Networks. IEEE Trans. Autom. Control. 68(12): 7028-7040 (2023) - [j105]Lan Yang, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Rumor Containment by Blocking Nodes in Social Networks. IEEE Trans. Syst. Man Cybern. Syst. 53(7): 3990-4002 (2023) - [c126]Yike Li, Yin Tong, Marco Demuro, Alessandro Giua:
Safety-oriented Testing for High-speed Rail Onboard Equipment Using Petri Nets. ATAED/PN4TT@Petri Nets 2023 - [c125]Chenhao Cui, Alessandro Giua, Alessandro Pisano:
Cooperative Hoisting with Two Crawler Cranes under Rope-Velocity Constraints. CCTA 2023: 978-983 - [c124]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Logical and probabilistic aspects of state estimation for Markovian systems. CDC 2023: 6929-6935 - [c123]Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Fault Diagnosis of Discrete Event Systems Under Attack. CDC 2023: 7923-7929 - [c122]Bohan Cui, Alessandro Giua, Xiang Yin:
Towards Supervisory Control Theory in Tactical Environments: A Stackelberg Game Approach. CDC 2023: 7937-7943 - [c121]Tianyu Liu, Carla Seatzu, Alessandro Giua:
Verification of Current State Opacity using Switching Output Automata. CoDIT 2023: 2665-2670 - [i11]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Novel Stability Conditions for Nonlinear Monotone Systems and Consensus in Multi-Agent Networks. CoRR abs/2301.05140 (2023) - 2022
- [j104]Ziyue Ma, Zhou He, Zhiwu Li, Alessandro Giua:
Design of supervisors for linear marking specifications in labeled Petri nets. Autom. 136: 110031 (2022) - [j103]Kai Cai, Alessandro Giua, Carla Seatzu:
Consistent reduction in discrete-event systems. Autom. 142: 110333 (2022) - [j102]Alessandro Pilloni, Diego Deplano, Alessandro Giua, Elio Usai:
A Sliding Mode Observer Design for the Average State Estimation in Large-Scale Systems. IEEE Control. Syst. Lett. 6: 632-637 (2022) - [j101]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. IEEE Control. Syst. Lett. 6: 1220-1225 (2022) - [j100]Yin Tong, Yucheng Wang, Alessandro Giua:
A Polynomial Approach to Verifying the Existence of a Threatening Sensor Attacker. IEEE Control. Syst. Lett. 6: 2930-2935 (2022) - [j99]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32(1): 65-88 (2022) - [j98]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Correction to: Probabilistic state estimation for labeled continuous time Markov models with applications to attack detection. Discret. Event Dyn. Syst. 32(3): 539-544 (2022) - [j97]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With Min-Max Basis Reachability Graphs. IEEE Trans. Syst. Man Cybern. Syst. 52(10): 6162-6173 (2022) - [i10]Bohan Cui, Xiang Yin, Shaoyuan Li, Alessandro Giua:
You Don't Know What I Know: On Notion of High-Order Opacity in Discrete-Event Systems. CoRR abs/2203.17051 (2022) - 2021
- [j96]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9: 168068-168079 (2021) - [j95]Yihui Hu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Diagnosability enforcement in labeled Petri nets using supervisory control. Autom. 131: 109776 (2021) - [j94]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) - [j93]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) - [j92]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
Verification of Detectability for Unambiguous Weighted Automata. IEEE Trans. Autom. Control. 66(3): 1437-1444 (2021) - [c120]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Distributed tracking of graph parameters in anonymous networks with time-varying topology. CDC 2021: 6258-6263 - [i9]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Non-Blockingness Verification of Bounded Petri Nets Using Basis Reachability Graphs. CoRR abs/2103.02475 (2021) - 2020
- [j91]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) - [j90]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) - [j89]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) - [j88]Kuize Zhang, Alessandro Giua:
On detectability of labeled Petri nets and finite automata. Discret. Event Dyn. Syst. 30(3): 465-497 (2020) - [j87]Lan Yang, Zhiwu Li, Alessandro Giua:
Containment of rumor spread in complex social networks. Inf. Sci. 506: 113-130 (2020) - [j86]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) - [j85]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) - [j84]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) - [c119]Chao Gu, Zhiwu Li, Alessandro Giua:
Analysis of Behavioural Properties of Bounded Petri Nets With a Semi-Structural Approach. CDC 2020: 4467-4472 - [c118]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
- [j83]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Influence Maximization in Independent Cascade Networks Based on Activation Probability Computation. IEEE Access 7: 13745-13757 (2019) - [j82]Lan Yang, Zhiwu Li, Alessandro Giua:
Influence minimization in linear threshold networks. Autom. 100: 10-16 (2019) - [j81]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
State estimation of max-plus automata with unobservable events. Autom. 105: 36-42 (2019) - [j80]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) - [j79]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) - [j78]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) - [j77]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) - [c117]Lan Yang, Zhiwu Li, Alessandro Giua:
Rumor Containment by Spreading Correct Information in Social Networks. ACC 2019: 5608-5613 - [c116]Kai Cai, Alessandro Giua, Carla Seatzu:
On Consistent Reduction in Discrete-Event Systems. CASE 2019: 474-479 - [c115]Chao Gu, Ziyue Ma, Zhiwu Li, Alessandro Giua:
Verification of Nonblockingness in Bounded Petri Nets With a Semi-Structural Approach. CDC 2019: 6718-6723 - [c114]Kuize Zhang, Alessandro Giua:
K-delayed strong detectability of discrete-event systems. CDC 2019: 7647-7652 - [c113]Aiwen Lai, Sébastien Lahaye, Alessandro Giua:
A Two-Step Approach for Fault Diagnosis of Max-Plus Automata. CoDIT 2019: 1061-1066 - [c112]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
- [j76]Alessandro Giua, Manuel Silva Suárez:
Petri nets and Automatic Control: A historical perspective. Annu. Rev. Control. 45: 223-239 (2018) - [j75]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) - [j74]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) - [j73]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) - [j72]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63(4): 1192-1199 (2018) - [j71]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) - [c111]Engel Lefaucheux, Alessandro Giua, Carla Seatzu:
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018: 164-183 - [c110]Diego Deplano, Mauro Franceschelli, Alessandro Giua:
Lyapunov-Free Analysis for Consensus of Nonlinear Discrete- Time Multi-Agent Systems. CDC 2018: 2525-2530 - [c109]Changshun Wu, Isabel Demongodin, Alessandro Giua:
Computation of synchronizing sequences for a class of 1-place-unbounded synchronized Petri nets. CoDIT 2018: 51-57 - [c108]Wenjing Yang, Leonardo Brenner, Alessandro Giua:
Computation of Activation Probabilities in the Independent Cascade Model. CoDIT 2018: 791-797 - [c107]Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA 2018: 1161-1164 - [c106]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
- [j70]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017) - [j69]Alessandro Giua, Cristian Mahulea, Carla Seatzu:
Decentralized observability of discrete event systems with synchronizations. Autom. 85: 468-476 (2017) - [j68]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) - [j67]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) - [j66]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) - [j65]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) - [j64]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of Deterministic Timed Weighted Marked Graphs. IEEE Trans Autom. Sci. Eng. 14(2): 1084-1095 (2017) - [j63]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) - [c105]Zhou He, Zhiwu Li, Alessandro Giua:
Optimization of deterministic timed weighted marked graphs. CASE 2017: 956-957 - [c104]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Computation of admissible marking sets in weighted state machines by dynamic programming. CDC 2017: 4847-4852 - [c103]Diego Deplano, Simon Ware, Rong Su, Alessandro Giua:
A heuristic algorithm to optimize execution time of multi-robot path. ICCA 2017: 909-914 - 2016
- [j62]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for Generalized Mutual Exclusion Constraints with floor operators. Autom. 74: 238-246 (2016) - [j61]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) - [j60]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) - [j59]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) - [c102]Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c101]Zhou He, ZhiWu Li, Alessandro Giua:
Cycle time optimization for deterministic timed weighted marked graphs under infinite server semantics. CDC 2016: 3942-3947 - [c100]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability verification of bounded Petri nets using basis markings. CDC 2016: 3948-3953 - [c99]Zhou He, Zhiwu Li, Isabel Demongodin, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs under infinite server semantics. CoDIT 2016: 1-6 - [c98]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
- [j58]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) - [j57]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) - [j56]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Fast discrete consensus based on gossip for makespan minimization in networked systems. Autom. 56: 60-69 (2015) - [j55]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) - [j54]Alessandro Giua, Carla Seatzu:
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2): 693-701 (2015) - [j53]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) - [j52]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) - [j51]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) - [c97]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS 2015: 218-223 - [c96]Ziyue Ma, ZhiWu Li, Alessandro Giua:
A constraint transformation technique in Petri nets with backward-conflict-free uncontrollable structures. ACC 2015: 365-370 - [c95]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940 - [c94]Zhou He, Zhiwu Li, Alessandro Giua:
Cycle time optimization of deterministic timed weighted marked graphs. CASE 2015: 274-279 - [c93]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349 - [c92]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 - [c91]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
- [j50]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) - [j49]Alessandro Giua, Carla Seatzu:
Petrinetze und die Steuerung Ereignisdiskreter Systeme. Inform. Spektrum 37(3): 199-210 (2014) - [j48]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing Experiments on Synchronized Petri Nets. IEEE Trans Autom. Sci. Eng. 11(1): 125-138 (2014) - [j47]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) - [j46]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) - [c90]Mauro Franceschelli, Alessandro Giua, Alessandro Pisano:
Finite-time consensus on the median value by discontinuous control. ACC 2014: 946-951 - [c89]Zhou He, ZhiWu Li, Alessandro Giua:
Marking optimization of deterministic timed weighted marked graphs. CASE 2014: 413-418 - [c88]Alessandro Giua, Carla Seatzu:
A survey on state estimation using Petri nets. ECC 2014: 2630-2635 - [c87]Ziyue Ma, Zhiwu Li, Alessandro Giua:
A Constraint Transformation Technique for Petri Nets with Certain Uncontrollable Structures. WODES 2014: 66-72 - [c86]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Testing Experiments on Unbounded Systems: Synchronizing Sequences Using Petri Nets. WODES 2014: 155-161 - [c85]Yin Tong, Zhiwu Li, Alessandro Giua:
Observation Equivalence of Petri Net Generators. WODES 2014: 338-343 - 2013
- [j45]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized estimation of Laplacian eigenvalues in multi-agent systems. Autom. 49(4): 1031-1036 (2013) - [j44]Yorai Wardi, Alessandro Giua, Carla Seatzu:
IPA for continuous stochastic marked graphs. Autom. 49(5): 1204-1215 (2013) - [j43]Zhiyun Lin, Wei Ding, Gangfeng Yan, Changbin Yu, Alessandro Giua:
Leader-follower formation via complex Laplacian. Autom. 49(6): 1900-1906 (2013) - [j42]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) - [j41]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) - [c84]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 - [c83]Jeremy Van Gorp, Alessandro Giua, Michael Defoort, Mohamed Djemai:
Active diagnosis for a class of switched systems. CDC 2013: 5003-5008 - [c82]Daniele Rosa, Alessandro Giua:
A non-progressive model of innovation diffusion in social networks. CDC 2013: 6202-6207 - [c81]Ziyue Ma, Zhiwu Li, Alessandro Giua:
Petri net controllers for disjunctive Generalized Mutual Exclusion Constraints. ETFA 2013: 1-8 - [c80]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
- [j40]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) - [j39]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) - [c79]Mauro Franceschelli, Alessandro Pisano, Alessandro Giua, Elio Usai:
Finite-Time Consensus based Clock Synchronization by Discontinuous Control. ADHS 2012: 172-177 - [c78]Daniele Rosa, Mauro Franceschelli, Alessandro Giua:
Robust common reference estimation and formation control for multi-agent systems. ACC 2012: 3889-3894 - [c77]Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu:
A comparison among tools for the diagnosability of discrete event systems. CASE 2012: 218-223 - [c76]Virginia Pilloni, Mauro Franceschelli, Luigi Atzori, Alessandro Giua:
A decentralized lifetime maximization algorithm for distributed applications in Wireless Sensor Networks. ICC 2012: 1372-1377 - [c75]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
- [j38]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Quantized consensus in Hamiltonian graphs. Autom. 47(11): 2495-2503 (2011) - [c74]Alessandro Giua:
State Estimation and Fault Detection Using Petri Nets. Petri Nets 2011: 38-48 - [c73]Maria Paola Cabasino, Luca Contini, Alessandro Giua, Carla Seatzu, Antonio Solinas:
A software platform for the integration of discrete event systems tools. CASE 2011: 45-51 - [c72]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda:
Fault diagnosis of an ABS system using Petri nets. CASE 2011: 594-599 - [c71]Alessandro Giua:
Welcome message from the program chair. CASE 2011 - [c70]Mohammad Hejri, Alessandro Giua:
Hybrid modeling and control of switching DC-DC converters via MLD systems. CASE 2011: 714-719 - [c69]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu:
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384 - [c68]Andrea Gasparri, Donato Di Paola, Alessandro Giua, Giovanni Ulivi, David Naso:
Consensus-based decentralized supervision of Petri nets. CDC/ECC 2011: 1128-1135 - [c67]Marco Pocci, Isabel Demongodin, Norbert Giambiasi, Alessandro Giua:
Synchronizing sequences on not strongly connected Petri nets. SpringSim (TMS-DEVS) 2011: 45-50 - 2010
- [j37]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Fault detection for discrete event systems using Petri nets with unobservable transitions. Autom. 46(9): 1531-1539 (2010) - [j36]Tina Paschedag, Alessandro Giua, Carla Seatzu:
Constrained optimal control: an application to semiactive suspension systems. Int. J. Syst. Sci. 41(7): 797-811 (2010) - [j35]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
A Gossip-Based Algorithm for Discrete Consensus Over Heterogeneous Networks. IEEE Trans. Autom. Control. 55(5): 1244-1249 (2010) - [c66]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized diagnosis of Petri nets. ACC 2010: 3371-3377 - [c65]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. CASE 2010: 485-490 - [c64]Mauro Franceschelli, Simone Martini, Magnus Egerstedt, Antonio Bicchi, Alessandro Giua:
Observability and controllability verification in multi-agent systems through decentralized Laplacian spectrum estimation. CDC 2010: 5775-5780 - [c63]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Giovanni Ulivi:
Decentralized stabilization of heterogeneous linear multi-agent systems. ICRA 2010: 3556-3561 - [c62]Isabel Demongodin, Alessandro Giua:
Linear programming techniques for analysis and control of batches Petri nets. WODES 2010: 1-6 - [c61]Alessandro Giua, Carla Seatzu, Yorai Wardi:
IPA for continuous Petri nets. WODES 2010: 47-52 - [c60]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A new protocol for the decentralized diagnosis of labeled Petri nets. WODES 2010: 123-128 - [e3]Jörg Raisch, Alessandro Giua, Stéphane Lafortune, Thomas Moor:
10th International Workshop on Discrete Event Systems, WODES 2010, Berlin, Germany, August 30 - September 01, 2010. International Federation of Automatic Control 2010, ISBN 978-3-902661-79-1 [contents]
2000 – 2009
- 2009
- [j34]Bengt Lennartson, Martin Fabian, Alessandro Giua, Ratnesh Kumar:
Special Issue on WODES'08. Discret. Event Dyn. Syst. 19(4): 449-450 (2009) - [c59]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Hamiltonian quantized gossip. CCA/ISIC 2009: 648-654 - [c58]Nicola Orani, Alessandro Pisano, Mauro Franceschelli, Alessandro Giua, Elio Usai:
Robust reconstruction of the discrete state for a class of nonlinear uncertain switched systems. ADHS 2009: 228-233 - [c57]Alessandro Giua, Carla Seatzu, Yorai Wardi:
Application of IPA to Fluid Petri Nets. ADHS 2009: 268-273 - [c56]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
Preface. ADHS 2009: i-ii - [c55]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Load balancing over heterogeneous networks with gossip-based algorithms. ACC 2009: 1987-1993 - [c54]Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua, Cristian Mahulea:
Constrained invariant motions for networked multi-agent systems. ACC 2009: 5749-5754 - [c53]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Decentralized fault diagnosis for sensor networks. CASE 2009: 334-339 - [c52]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosability of bounded Petri nets. CDC 2009: 1254-1260 - [c51]Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272 - [c50]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized Laplacian eigenvalues estimation for networked multi-agent systems. CDC 2009: 2717-2722 - [c49]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Discrete Event Diagnosis using Petri Nets. ICINCO-ICSO 2009: 15-29 - [e2]Alessandro Giua, Cristian Mahulea, Manuel Silva, Janan Zaytoon:
3rd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2009, Zaragoza, Spain, September 16-18, 2009. IFAC Proceedings Volumes 42(17), Elsevier 2009 [contents] - 2008
- [j33]Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon:
DEDS Special Issue on Discrete Event Methodologies for Hybrid Systems. Discret. Event Dyn. Syst. 18(2): 161-162 (2008) - [j32]Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
Optimal Model Predictive Control of Timed Continuous Petri Nets. IEEE Trans. Autom. Control. 53(7): 1731-1735 (2008) - [j31]Alessandro Giua, Carla Seatzu:
Modeling and Supervisory Control of Railway Networks Using Petri Nets. IEEE Trans Autom. Sci. Eng. 5(3): 431-445 (2008) - [c48]Mauro Franceschelli, Magnus Egerstedt, Alessandro Giua:
Motion probes for fault detection and recovery in networked control systems. ACC 2008: 4358-4363 - [c47]Fausto Sessego, Alessandro Giua, Carla Seatzu:
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. Petri Nets 2008: 419-428 - [c46]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Linear programming techniques for the identification of place/transition nets. CDC 2008: 514-520 - [c45]Yu Ru, Maria Paola Cabasino, Alessandro Giua, Christoforos N. Hadjicostis:
Supervisor synthesis for discrete event systems with arbitrary forbidden state specifications. CDC 2008: 1048-1053 - [c44]Alessandro Giua, Carla Seatzu, Fausto Sessego:
Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS. SMC 2008: 1922-1928 - 2007
- [j30]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of Petri Nets from Knowledge of Their Language. Discret. Event Dyn. Syst. 17(4): 447-474 (2007) - [j29]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
An Optimization Approach to Petri Net Monitor Design. IEEE Trans. Autom. Control. 52(2): 306-311 (2007) - [j28]Alessandro Giua, Carla Seatzu, Daniele Corona:
Marking Estimation of Petri Nets With Silent Transitions. IEEE Trans. Autom. Control. 52(9): 1695-1699 (2007) - [c43]Francesco Basile, Alessandro Giua, Carla Seatzu:
Supervisory Control of Petri Nets with Decentralized Monitor Places. ACC 2007: 4957-4962 - [c42]Daniele Corona, Jean Buisson, Bart De Schutter, Alessandro Giua:
Stabilization of switched affine systems: An application to the buck-boost converter. ACC 2007: 6037-6042 - [c41]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized Supervisory Control of Petri Nets with Monitor Places. CASE 2007: 7-13 - [c40]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva Suárez:
State Estimation of Petri Nets by Transformation. CASE 2007: 194-199 - [c39]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Load balancing on networks with gossip-based distributed ]algorithms. CDC 2007: 500-505 - [c38]Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
A state estimation problem for timed continuous Petri nets. CDC 2007: 1770-1775 - 2006
- [j27]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
Suboptimal supervisory control of Petri nets in presence of uncontrollable transitions via monitor places. Autom. 42(6): 995-1004 (2006) - [j26]Carla Seatzu, Daniele Corona, Alessandro Giua, Alberto Bemporad:
Optimal control of continuous-time switched affine systems. IEEE Trans. Autom. Control. 51(5): 726-741 (2006) - [c37]Cristian Mahulea, Alessandro Giua, Laura Recalde, Carla Seatzu, Manuel Silva:
On Sampling continuous Timed Petri Nets: Reachability "Equivalence" under Infinite Servers Semantics. ADHS 2006: 37-43 - [c36]Nicola Aste, Luigi Atzori, Luca Sanna Randaccio, Alessandro Giua:
Power management in iBSS wireless networks: selective awakening of doze stations. CCNC 2006: 1253-1257 - [c35]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of unbounded Petri nets from their coverability graph. CDC 2006: 434-440 - [c34]Alessandro Giua, Cristian Mahulea, Laura Recalde, Carla Seatzu, Manuel Silva:
Optimal Control of Timed Continuous Petri Nets via Explicit MPC. POSTA 2006: 383-390 - [e1]Christos G. Cassandras, Alessandro Giua, Carla Seatzu, Janan Zaytoon:
2nd IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2006, Alghero, Italy, June 7-9, 2006. IFAC Proceedings Volumes 39(5), Elsevier 2006 [contents] - 2005
- [j25]Alessandro Giua, Daniele Corona, Carla Seatzu:
State Estimation of lambda-free Labeled Petri Nets with Contact-Free Nondeterministic Transitions*. Discret. Event Dyn. Syst. 15(1): 85-108 (2005) - [j24]Alessandro Giua, Xiaolan Xie:
Control of Safe Ordinary Petri Nets Using Unfolding. Discret. Event Dyn. Syst. 15(4): 349-373 (2005) - [c33]Dmitry Gromov, Eckart Mayer, Jörg Raisch, Daniele Corona, Carla Seatzu, Alessandro Giua:
Optimal Control of Discrete-Time Hybrid Automata under Safety and Liveness Constraints. ISIC 2005: 243-249 - [c32]Alessandro Giua, Carla Seatzu:
Fault detection for discrete event systems using Petri nets with unobservable transitions. CDC/ECC 2005: 6323-6328 - [c31]Alessandro Giua, Carla Seatzu:
Identification of free-labeled Petri nets via integer programming. CDC/ECC 2005: 7639-7644 - [c30]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized supervisory control of Petri nets with monitor places. ETFA 2005 - [c29]Daniele Corona, Alessandro Giua, Carla Seatzu:
Quantized optimal control of discrete-time systems. ETFA 2005 - 2004
- [j23]Bruno Gaujal, Alessandro Giua:
Optimal stationary behavior for a class of timed continuous Petri nets. Autom. 40(9): 1505-1516 (2004) - [j22]Alessandro Giua:
Synthesis and Control of Discrete Event Systems: B. Caillaud, Ph. Darondeau, L. Lavagno, X. Xie (Eds.); Kluwer Academic Publishers, Dordrecht, 2002, 238pp, EUR142.00, US$156.0, ISBN: 0-7923-7639-0. Autom. 40(10): 1815-1817 (2004) - [j21]Alessandro Giua, Carla Seatzu, Francesco Basile:
Observer-based state-feedback control of timed Petri nets with deadlock recovery. IEEE Trans. Autom. Control. 49(1): 17-29 (2004) - [j20]Xiaolan Xie, Alessandro Giua:
Counterexamples to "liveness-enforcing supervision of bounded ordinary Petri nets using partial-order methods". IEEE Trans. Autom. Control. 49(7): 1217-1219 (2004) - [c28]Alessandro Giua, Mauro Melas, Carla Seatzu:
Design of a control law for a semiactive suspension system using a solenoid valve damper. CCA 2004: 1467-1472 - [c27]Daniele Corona, Alessandro Giua, Carla Seatzu:
Optimal feedback switching laws for autonomous hybrid automata. ISIC 2004: 31-36 - [c26]Daniele Corona, Alessandro Giua, Carla Seatzu:
Marking estimation of Petri nets with silent transitions. CDC 2004: 966-971 - 2003
- [c25]Alberto Bemporad, Daniele Corona, Alessandro Giua, Carla Seatzu:
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata. ADHS 2003: 367-372 - [c24]Alessandro Giua, Carla Seatzu:
Deadlock characterization for Petri nets control using GMEC's and observers. ACC 2003: 320-325 - [c23]Alessandro Giua, Jorge Júlvez, Carla Seatzu:
Marking estimation of Petri nets based on partial observation. ACC 2003: 326-331 - [c22]Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Júlvez:
Observers for nondeterministic λ-free labeled Petri nets. ETFA (1) 2003: 307-314 - [c21]Alessandro Giua, Mauro Melas, Carla Seatzu:
Design of a control law for a magneto-rheological suspension. ECC 2003: 1869-1874 - [c20]Roberta Armosini, Alessandro Giua, Maria Teresa Pilloni, Carla Seatzu:
Simulation and Control of a Bottling Plant using First-order Hybrid Petri Nets. POSTA 2003: 79-86 - [c19]Maria Pia Fanti, Alessandro Giua, Carla Seatzu:
Generalized mutual exclusion constraints and monitors for colored Petri nets. SMC 2003: 1860-1865 - [c18]Maria Pia Fanti, Alessandro Giua, Carla Seatzu:
A deadlock prevention method for railway networks using monitors for colored Petri nets. SMC 2003: 1866-1873 - 2002
- [j19]Alessandro Giua, Aldo Piccaluga, Carla Seatzu:
Firing rate optimization of cyclic timed event graphs by token allocations. Autom. 38(1): 91-103 (2002) - [j18]Alessandro Giua, Rein Smedinga, Michael Spathopoulos, Jan H. van Schuppen:
Guest Editorial. Discret. Event Dyn. Syst. 12(1): 5 (2002) - [j17]Xi-Ren Cao, Guy Cohen, Alessandro Giua, Walter Murray Wonham, Jan H. van Schuppen:
Unity in Diversity, Diversity in Unity: Retrospective and Prospective Views on Control of Discrete Event Systems. Discret. Event Dyn. Syst. 12(3): 253-264 (2002) - [j16]Alessandro Giua, Carla Seatzu:
Observability of place/transition nets. IEEE Trans. Autom. Control. 47(9): 1424-1437 (2002) - [c17]Alessandro Giua, Carla Seatzu, Francesco Basile:
Petri net control using event observers and timing information. CDC 2002: 787-792 - 2001
- [j15]Angela Di Febbraro, Alessandro Giua, Giuseppe Menga:
Guest Editorial. Discret. Event Dyn. Syst. 11(1-2): 5-8 (2001) - [j14]Fabio Balduzzi, Angela Di Febbraro, Alessandro Giua, Carla Seatzu:
Decidability results in First-Order Hybrid Petri Nets. Discret. Event Dyn. Syst. 11(1-2): 41-57 (2001) - [j13]Alessandro Giua:
Model reduction of finite-state machines by contraction. IEEE Trans. Autom. Control. 46(5): 797-801 (2001) - [c16]Manuela Ebau, Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Semiactive suspension design taking into account the actuator delay. CDC 2001: 93-98 - [c15]Alessandro Giua, Carla Seatzu, Cornelis Van der Mee:
Optimal control of switched autonomous linear systems. CDC 2001: 2472-2477 - [c14]Alessandro Giua, Carla Seatzu:
Supervisory control of railway networks with Petri nets. CDC 2001: 5004-5009 - [c13]Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu:
Deadlock recovery of Petri net models controlled using observers. ETFA (2) 2001: 441-449 - [c12]Alessandro Giua, Carla Seatzu:
The observer coverability graph for the analysis of observability properties of Place/Transition nets. ECC 2001: 1339-1344 - 2000
- [j12]Fabio Balduzzi, Alessandro Giua, Giuseppe Menga:
First-order hybrid Petri nets: a model for optimization and control. IEEE Trans. Robotics Autom. 16(4): 382-399 (2000) - [c11]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
Petri net monitor design with control and observation costs. CDC 2000: 424-429 - [c10]Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Active axletree suspension for road vehicles with gain-switching. CDC 2000: 438-443 - [c9]Alessandro Giua, Carla Seatzu:
Observability properties of Petri nets. CDC 2000: 2676-2681 - [c8]Alessandro Giua, Aldo Piccaluga, Carla Seatzu:
Incremental Optimization of Cyclic Timed Event Graphs. ICRA 2000: 2211-2216
1990 – 1999
- 1999
- [j11]Alessandra Fanni, Alessandro Giua, Michele Marchesi, Augusto Montisci:
A Neural Network Diagnosis Approach for Analog Circuits. Appl. Intell. 11(2): 169-186 (1999) - [j10]Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Observer-controller design for cranes via Lyapunov equivalence. Autom. 35(4): 669-678 (1999) - [j9]Stephane Gaubert, Alessandro Giua:
Petri Net Languages and Infinite Subsets of m. J. Comput. Syst. Sci. 59(3): 373-391 (1999) - [c7]Fabio Balduzzi, Giuseppe Menga, Alessandro Giua:
Optimal Control of Production Systems with Unreliable Machines and Finite Buffers. ICRA 1999: 1462-1468 - 1998
- [j8]Giorgio Corriga, Alessandro Giua, Giampaolo Usai:
An implicit gain-scheduling controller for cranes. IEEE Trans. Control. Syst. Technol. 6(1): 15-20 (1998) - [j7]Alessandra Fanni, Alessandro Giua:
Discrete event representation of qualitative models using Petri nets. IEEE Trans. Syst. Man Cybern. Part B 28(6): 770-780 (1998) - [c6]Fabio Balduzzi, Giuseppe Menga, Alessandro Giua:
Optimal speed allocation and sensitivity analysis of hybrid stochastic Petri nets. SMC 1998: 656-662 - [c5]Francesco Basile, Pasquale Chiacchio, Alessandro Giua:
On the choice of suboptimal monitors for supervisory control of Petri nets. SMC 1998: 752-757 - [c4]Carla Seatzu, Alessandro Giua, Giampaolo Usai:
Decentralized volume control of open-channels using H2 norm minimization. SMC 1998: 3891-3896 - 1997
- [j6]Lawrence E. Holloway, Bruce H. Krogh, Alessandro Giua:
A Survey of Petri Net Methods for Controlled Discrete Event Systems. Discret. Event Dyn. Syst. 7(2): 151-190 (1997) - 1996
- [j5]Stéphane Gaubert, Alessandro Giua:
Deterministic weak-and-marked Petri net languages are regular. IEEE Trans. Autom. Control. 41(12): 1802-1803 (1996) - 1995
- [j4]Alessandro Giua, Frank DiCesare:
Decidability and closure properties of weak Petri net languages in supervisory control. IEEE Trans. Autom. Control. 40(5): 906-910 (1995) - 1994
- [j3]Alessandro Giua, Frank DiCesare:
Blocking and controllability of Petri nets in supervisory control. IEEE Trans. Autom. Control. 39(4): 818-823 (1994) - [j2]Alessandro Giua, Frank DiCesare:
Petri net structural analysis for supervisory control. IEEE Trans. Robotics Autom. 10(2): 185-195 (1994) - 1993
- [j1]Alessandra Fanni, Paolo Diana, Alessandro Giua, Marco Perezzani:
Qualitative dynamic diagnosis of circuits. Artif. Intell. Eng. Des. Anal. Manuf. 7(1): 53-64 (1993) - [c3]Alessandra Fanni, Alessandro Giua, Enrico Sandoli:
Neural Networks for Multiple Fault Diagnosis in Analog Circuits. DFT 1993: 303-310 - [c2]Alessandro Giua, Frank DiCesare:
A Class of Petri Nets with a Convex Reachability Set. ICRA (1) 1993: 578-583
1980 – 1989
- 1988
- [c1]Alessandra Fanni, Alessandro Giua, M. G. Manca:
Automated Diagnosis for Digital Circuits. AIMSA 1988: 373-379
Coauthor Index
[j110] [j108] [c127] [i14] [i12] [j105] [c123] [j104] [j101] [j97] [j96] [j95] [j93] [i9] [j87] [j86] [j85] [c119] [c118] [i8] [i7] [j82] [j80] [j77] [c117] [c115] [c112] [i5] [j73] [j71] [c107] [j70] [j68] [j67] [j65] [j64] [j63] [c105] [c104] [j62] [j60] [c102] [c101] [c99] [c98] [e4] [j58] [j57] [j52] [j51] [c96] [c95] [c94] [c93] [c91] [c89] [c87] [c85] [c81] [c80]
[j110] [j108] [c128] [i13] [i12] [c124] [c123] [c121] [j103] [j99] [j98] [j96] [j84] [c118] [i7] [j78] [j77] [c116] [c112] [i5] [j73] [j72] [c111] [c107] [j70] [j69] [j65] [c102] [c100] [c98] [j56] [j55] [j54] [c97] [c95] [c93] [c92] [j49] [j47] [j46] [c88] [j45] [j44] [j42] [j41] [p5] [p4] [p2] [p1] [j39] [c77] [i1] [j38] [c73] [c72] [c69] [j37] [j36] [j35] [c66] [c65] [c61] [c60] [c59] [c57] [c55] [c53] [c52] [c51] [c50] [c49] [j33] [j32] [j31] [c47] [c46] [c44] [j30] [j28] [c43] [c41] [c40] [c39] [c38] [j26] [c37] [c35] [c34] [e1] [j25] [c33] [c32] [c31] [c30] [c29] [j21] [c28] [c27] [c26] [c25] [c24] [c23] [c22] [c21] [c20] [c19] [c18] [j19] [j16] [c17] [j14] [c16] [c15] [c14] [c13] [c12] [c10] [c9] [c8] [j10] [c4]
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2025-01-15 21:43 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
