default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDCarla Seatzu
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j72]Ziyue Ma
, Yin Tong, Carla Seatzu:
Verification of Pattern-Pattern Diagnosability in Partially Observed Discrete Event Systems. IEEE Trans. Autom. Control. 69(3): 2044-2051 (2024)- [j71]Ning Ran, Jingyao Nie, Aiwen Meng, Carla Seatzu:
Noninterference Analysis of Bounded Petri Nets Using Basis Reachability Graph. IEEE Trans. Autom. Control. 69(10): 7159-7165 (2024) - [j70]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) - [c117]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 - [c116]Diego Deplano, Carla Seatzu, Mauro Franceschelli:
A Distributed Online Heuristic for a Large-scale Workforce Task Assignment and Multi-vehicle Routing Problem. CASE 2024: 3174-3180 - [c115]Ning Ran, Jinyuan Hao, Zhou He, Mauro Franceschelli, Carla Seatzu:
Bisimulation non-interference analysis of bounded Petri nets. CoDIT 2024: 899-904 - [i15]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) - [i14]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
- [j69]Ning Ran, Tingting Li, Zhou He, Carla Seatzu:
Codiagnosability Enforcement in Labeled Petri Nets. IEEE Trans. Autom. Control. 68(4): 2436-2443 (2023) - [c114]Dimitri Lefebvre, Carla Seatzu, Christoforos N. Hadjicostis, Alessandro Giua:
Logical and probabilistic aspects of state estimation for Markovian systems. CDC 2023: 6929-6935 - [c113]Tenglong Kang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Fault Diagnosis of Discrete Event Systems Under Attack. CDC 2023: 7923-7929 - [c112]Diego Deplano, Mauro Franceschelli, Carla Seatzu:
Experimental Comparison of Models of the Drying-Cooling Process of Flatbreads for Optimized Automated Production: the Case Study of Carasau Bread. CoDIT 2023: 2014-2019 - [c111]Tianyu Liu, Carla Seatzu, Alessandro Giua:
Verification of Current State Opacity using Switching Output Automata. CoDIT 2023: 2665-2670 - 2022
- [j68]Yin Tong, Hao Lan, Carla Seatzu:
Verification of K-step and infinite-step opacity of bounded labeled Petri nets. Autom. 140: 110221 (2022) - [j67]Kai Cai, Alessandro Giua, Carla Seatzu:
Consistent reduction in discrete-event systems. Autom. 142: 110333 (2022) - [j66]Christoforos N. Hadjicostis, Stéphane Lafortune, Carla Seatzu:
Guest Editorial to the Special Section of L-CSS on Fragility and Resiliency in Cyber-Physical Discrete-Event Systems. IEEE Control. Syst. Lett. 6: 2929 (2022) - [j65]Zoreh Al Zahra Sanai Dashti, Gabriele Oliva, Carla Seatzu, Andrea Gasparri, Mauro Franceschelli:
Distributed Mode Computation in Open Multi-Agent Systems. IEEE Control. Syst. Lett. 6: 3481-3486 (2022) - [j64]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) - [j63]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) - [j62]Dan You, ShouGuang Wang, MengChu Zhou, Carla Seatzu:
Supervisory Control of Petri Nets in the Presence of Replacement Attacks. IEEE Trans. Autom. Control. 67(3): 1466-1473 (2022) - [j61]Ning Ran, Jinyuan Hao, Carla Seatzu:
Prognosability Analysis and Enforcement of Bounded Labeled Petri Nets. IEEE Trans. Autom. Control. 67(10): 5541-5547 (2022) - [j60]Graziana Cavone, Ton J. J. van den Boom, Lex Blenkers, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter:
An MPC-Based Rescheduling Algorithm for Disruptions and Disturbances in Large-Scale Railway Networks. IEEE Trans Autom. Sci. Eng. 19(1): 99-112 (2022) - [j59]Hao Lan, Yin Tong, Carla Seatzu:
Crucial States Estimation in Radio Block Center Handover Using Petri Nets With Unobservable Transitions. IEEE Trans Autom. Sci. Eng. 19(2): 1268-1276 (2022) - [j58]Dan You, Shouguang Wang, Carla Seatzu:
A Liveness-Enforcing Supervisor Tolerant to Sensor-Reading Modification Attacks. IEEE Trans. Syst. Man Cybern. Syst. 52(4): 2398-2411 (2022) - [c110]Zohreh Al Zahra Sanai Dashti, Diego Deplano, Carla Seatzu, Mauro Franceschelli:
Resilient Self-Organizing Networks in Multi-Agent Systems via Approximate Random k-Regular Graphs. CDC 2022: 6448-6453 - 2021
- [j57]Qi Zhang, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Joint State Estimation Under Attack of Discrete Event Systems. IEEE Access 9: 168068-168079 (2021) - [c109]Yin Tong, Jiate Luo, Carla Seatzu:
State Estimation of Discrete-Event Systems Subject to Intermittent and Permanent Loss of Observations. CDC 2021: 1048-1053 - [c108]Yorai Wardi, Carla Seatzu, Shashwat Shivam:
Application of an Output Tracking Technique to Formation Control. MED 2021: 898-903 - [i13]Dan You, Shouguang Wang, Carla Seatzu:
Generalized Current-State Opacity With Dynamically Changing Secrets. CoRR abs/2103.00234 (2021) - 2020
- [j56]Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of C-detectability using Petri nets. Inf. Sci. 528: 294-310 (2020) - [j55]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) - [j54]Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu:
Design of Modern Supply Chain Networks Using Fuzzy Bargaining Game and Data Envelopment Analysis. IEEE Trans Autom. Sci. Eng. 17(3): 1221-1236 (2020) - [c107]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 - [i12]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)
2010 – 2019
- 2019
- [j53]Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu:
An overview of current technologies and emerging trends in factory automation. Int. J. Prod. Res. 57(15-16): 5047-5067 (2019) - [j52]Dan You, ShouGuang Wang, Carla Seatzu:
Supervisory control of a class of Petri nets with unobservable and uncontrollable transitions. Inf. Sci. 501: 635-654 (2019) - [j51]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) - [j50]Dan You, ShouGuang Wang, Carla Seatzu:
Verification of Fault-predictability in Labeled Petri Nets Using Predictor Graphs. IEEE Trans. Autom. Control. 64(10): 4353-4360 (2019) - [j49]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) - [c106]Kai Cai, Alessandro Giua, Carla Seatzu:
On Consistent Reduction in Discrete-Event Systems. CASE 2019: 474-479 - [c105]Zohreh Al Zahra Sanai Dashti, Carla Seatzu, Mauro Franceschelli:
Dynamic Consensus on the Median Value in Open Multi-Agent Systems. CDC 2019: 3691-3697 - [c104]Graziana Cavone, Lex Blenkers, Ton J. J. van den Boom, Mariagrazia Dotoli, Carla Seatzu, Bart De Schutter:
Railway disruption: a bi-level rescheduling algorithm. CoDIT 2019: 54-59 - [c103]Carla Seatzu:
Modeling, analysis, and control of automated manufacturing systems using Petri nets. ETFA 2019: 27-30 - [c102]Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt:
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles. ECC 2019: 1562-1567 - [c101]Chao Gao, Carla Seatzu, Zhiwu Li, Alessandro Giua:
Multiple Attacks Detection on Discrete Event Systems. SMC 2019: 2352-2357 - [i11]Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of C-detectability Using Petri Nets. CoRR abs/1903.07827 (2019) - [i10]Hao Lan, Yin Tong, Carla Seatzu, Jin Guo:
Verification of Detectability in Petri Nets Using Verifier Nets. CoRR abs/1903.09298 (2019) - [i9]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) - [i8]Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of Detectability Using Petri Nets and Detector. CoRR abs/1908.09604 (2019) - [i7]Hao Lan, Yin Tong, Jin Guo, Carla Seatzu:
Verification of infinite-step and K-step opacity Using Petri Nets. CoRR abs/1909.05138 (2019) - 2018
- [j48]Simone Zanda, Paola Zuddas, Carla Seatzu:
Long term nurse scheduling via a decision support system based on linear integer programming: A case study at the University Hospital in Cagliari. Comput. Ind. Eng. 126: 337-347 (2018) - [j47]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) - [j46]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability Analysis of Bounded Petri Nets. IEEE Trans. Autom. Control. 63(4): 1192-1199 (2018) - [j45]Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu:
A Survey on Petri Net Models for Freight Logistics and Transportation Systems. IEEE Trans. Intell. Transp. Syst. 19(6): 1795-1813 (2018) - [j44]Shouguang Wang, Dan You, Carla Seatzu:
A Novel Approach for Constraint Transformation in Petri Nets With Uncontrollable Transitions. IEEE Trans. Syst. Man Cybern. Syst. 48(8): 1403-1410 (2018) - [c100]Yorai Wardi, Carla Seatzu, Magnus Egerstedt:
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. ADHS 2018: 217-222 - [c99]Engel Lefaucheux, Alessandro Giua, Carla Seatzu:
Basis Coverability Graph for Partially Observable Petri Nets with Application to Diagnosability Analysis. Petri Nets 2018: 164-183 - [c98]Graziana Cavone, Mariagrazia Dotoli, Nicola Epicoco, Davide Morelli, Carla Seatzu:
A Game-theoretical Design Technique for Multi-stage Supply Chains under Uncertainty. CASE 2018: 528-533 - [c97]Ning Ran, Jinyuan Hao, Zhou He, Carla Seatzu:
Diagnosability analysis of bounded Petri nets. ETFA 2018: 1145-1148 - [c96]Qi Zhang, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Stealthy Attacks for Partially-Observed Discrete Event Systems. ETFA 2018: 1161-1164 - [c95]Dan You, Shouguang Wang, Hao Dou, Wenli Duo, Kamel Barkaoui, Carla Seatzu:
Liveness Enforcement for a Class of Petri Nets via Resource Allocation. SMC 2018: 4369-4374 - [i6]Shashwat Shivam, Ian Buckley, Yorai Wardi, Carla Seatzu, Magnus Egerstedt:
Tracking Control by the Newton-Raphson Flow: Applications to Autonomous Vehicles. CoRR abs/1811.08033 (2018) - 2017
- [j43]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Decidability of opacity verification problems in labeled Petri net systems. Autom. 80: 48-53 (2017) - [j42]Alessandro Giua, Cristian Mahulea, Carla Seatzu:
Decentralized observability of discrete event systems with synchronizations. Autom. 85: 468-476 (2017) - [j41]Yorai Wardi, Carla Seatzu:
Performance regulation in discrete event and hybrid dynamical systems using IPA. Eur. J. Control 36: 51-61 (2017) - [j40]Mariagrazia Dotoli, Alexander Fay, Marek Miskowicz, Carla Seatzu:
Advanced control in factory automation: a survey. Int. J. Prod. Res. 55(5): 1243-1259 (2017) - [j39]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Diagnosability Analysis of Labeled Time Petri Net Systems. IEEE Trans. Autom. Control. 62(3): 1384-1396 (2017) - [j38]Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Marking Observer in Labeled Petri Nets With Application to Supervisory Control. IEEE Trans. Autom. Control. 62(4): 1813-1824 (2017) - [j37]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) - [j36]Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano:
A Decision Support System for Optimizing Operations at Intermodal Railroad Terminals. IEEE Trans. Syst. Man Cybern. Syst. 47(3): 487-501 (2017) - [c94]Yorai Wardi, Carla Seatzu, Magnus Egerstedt, Ian Buckley:
Performance regulation and tracking via lookahead simulation: Preliminary results and validation. CDC 2017: 6462-6468 - 2016
- [j35]Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu:
Management of Intermodal Freight Terminals by First-Order Hybrid Petri Nets. IEEE Robotics Autom. Lett. 1(1): 2-9 (2016) - [j34]Shouguang Wang, Dan You, MengChu Zhou, Carla Seatzu:
Characterization of Admissible Marking Sets in Petri Nets with Uncontrollable Transitions. IEEE Trans. Autom. Control. 61(7): 1953-1958 (2016) - [c93]Yin Tong, Ziyue Ma, ZhiWu Li, Carla Seatzu, Alessandro Giua:
Verification of language-based opacity in Petri nets using verifier. ACC 2016: 757-763 - [c92]Christoforos N. Hadjicostis, Carla Seatzu:
K-detectability in discrete event systems. CDC 2016: 420-425 - [c91]Ning Ran, Hongye Su, Alessandro Giua, Carla Seatzu:
Codiagnosability verification of bounded Petri nets using basis markings. CDC 2016: 3948-3953 - [c90]Graziana Cavone, Mariagrazia Dotoli, Carla Seatzu:
Resource planning of intermodal terminals using timed Petri nets. WODES 2016: 44-50 - [c89]Dan You, ShouGuang Wang, Carla Seatzu:
A new linear constraint transformation approach for Petri nets with uncontrollable transitions. WODES 2016: 258-263 - [c88]Yin Tong, Ziyue Ma, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Supervisory enforcement of current-state opacity with uncomparable observations. WODES 2016: 313-318 - [c87]Christoforos N. Hadjicostis, Carla Seatzu:
Decentralized state estimation in discrete event systems under partially ordered observation sequences. WODES 2016: 367-372 - 2015
- [j33]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Fast discrete consensus based on gossip for makespan minimization in networked systems. Autom. 56: 60-69 (2015) - [j32]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) - [j31]Alessandro Giua, Carla Seatzu:
Petri nets for the control of discrete event systems. Softw. Syst. Model. 14(2): 693-701 (2015) - [j30]Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Probabilistic Marking Estimation in Labeled Petri Nets. IEEE Trans. Autom. Control. 60(2): 528-533 (2015) - [j29]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
State Estimation and Fault Diagnosis of Labeled Time Petri Net Systems With Unobservable Transitions. IEEE Trans. Autom. Control. 60(4): 997-1009 (2015) - [c86]Carla Seatzu, Yorai Wardi:
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis. ADHS 2015: 117-122 - [c85]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks. ADHS 2015: 218-223 - [c84]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of current-state opacity using Petri nets. ACC 2015: 1935-1940 - [c83]ShouGuang Wang, Carla Seatzu, Lingyun Huang:
A three-stage deadlock prevention strategy for S3PR nets. CASE 2015: 286-291 - [c82]Yin Tong, Zhiwu Li, Carla Seatzu, Alessandro Giua:
Verification of initial-state opacity in Petri nets. CDC 2015: 344-349 - [c81]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 - [c80]Mariagrazia Dotoli, Nicola Epicoco, Carla Seatzu:
An improved technique for train load planning at intermodal rail-road terminals. ETFA 2015: 1-4 - [i5]ShouGuang Wang, Dan You, MengChu Zhou, Carla Seatzu:
Transformation From Legal-marking Set to Admissible-marking Set of Petri Nets With Uncontrollable Transitions. CoRR abs/1501.04777 (2015) - [i4]Mehran Zareh, Carla Seatzu, Mauro Franceschelli:
Consensus on the average in arbitrary directed network topologies with time-delays. CoRR abs/1502.04364 (2015) - 2014
- [j28]Alessandro Giua, Carla Seatzu:
Petrinetze und die Steuerung Ereignisdiskreter Systeme. Inform. Spektrum 37(3): 199-210 (2014) - [j27]Christos G. Cassandras, Maria Pia Fanti, Christoforos N. Hadjicostis, Spyros A. Reveliotis, Carla Seatzu:
Guest Editorial Special Section on Advances in Discrete-Event Systems for Automation. IEEE Trans Autom. Sci. Eng. 11(1): 3-5 (2014) - [j26]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) - [j25]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) - [c79]Carlos López-Limón, Mauro Franceschelli, Carla Seatzu, Antonio Ramírez-Treviño:
A consensus algorithm for common reference frame estimation in networked multi-agent systems. CDC 2014: 6117-6122 - [c78]Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Initial marking estimation in labeled Petri nets in a probabilistic setting. CDC 2014: 6725-6730 - [c77]Yorai Wardi, Carla Seatzu:
Infinitesimal perturbation analysis of stochastic hybrid systems: Application to congestion management in traffic-light intersections. CDC 2014: 6752-6757 - [c76]Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. CoDIT 2014: 411-416 - [c75]Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
State feedback control of labeled Petri nets with uncertainty in the initial marking. ETFA 2014: 1-7 - [c74]Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange. ETFA 2014: 1-8 - [c73]Alessandro Giua, Carla Seatzu:
A survey on state estimation using Petri nets. ECC 2014: 2630-2635 - [c72]Mariagrazia Dotoli, Nicola Epicoco, Marco Falagario, Carla Seatzu, Biagio Turchiano:
Optimization of intermodal rail-road freight transport terminals. ICRA 2014: 1971-1976 - [c71]Carla Seatzu:
Fault Diagnosis of Discrete Event Systems Using Petri Nets. VECoS 2014: 12-15 - [c70]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
K-Diagnosability of Time Labeled Petri Nets. WODES 2014: 135-141 - [c69]Carla Seatzu, Yorai Wardi:
Performance Regulation Via Integral Control in a Class of Stochastic Discrete Event Dynamic Systems. WODES 2014: 259-264 - [i3]Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with second-order dynamics and non-periodic sampled-data exchange. CoRR abs/1407.3006 (2014) - [i2]Mehran Zareh, Dimos V. Dimarogonas, Mauro Franceschelli, Karl Henrik Johansson, Carla Seatzu:
Consensus in multi-agent systems with non-periodic sampled-data exchange and uncertain network topology. CoRR abs/1409.2017 (2014) - 2013
- [j24]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized estimation of Laplacian eigenvalues in multi-agent systems. Autom. 49(4): 1031-1036 (2013) - [j23]Yorai Wardi, Alessandro Giua, Carla Seatzu:
IPA for continuous stochastic marked graphs. Autom. 49(5): 1204-1215 (2013) - [j22]Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled Petri nets. Autom. 49(8): 2373-2383 (2013) - [j21]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) - [j20]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) - [c68]Maria Paola Cabasino, Christoforos N. Hadjicostis, Carla Seatzu:
Probabilistic marking estimation in labeled Petri nets. CDC 2013: 6304-6310 - [c67]Francesco Basile, Maria Paola Cabasino, Carla Seatzu:
Marking estimation of Time Petri nets with unobservable transitions. ETFA 2013: 1-7 - [c66]Mona Noori Hosseini, Bengt Lennartson, Maria Paola Cabasino, Carla Seatzu:
A survey on efficient diagnosability tests for automata and bounded Petri nets. ETFA 2013: 1-6 - [c65]Sarmad Riazi, Carla Seatzu, Oskar Wigström, Bengt Lennartson:
Benders/gossip methods for heterogeneous multi-vehicle routing problems. ETFA 2013: 1-6 - [c64]Carla Seatzu, Yorai Wardi:
On the use of IPA in performance optimization of continuous marked graphs: A case study. ETFA 2013: 1-8 - [c63]Mehran Zareh, Carla Seatzu, Mauro Franceschelli:
Consensus of second-order multi-agent systems with time delays and slow switching topology. ICNSC 2013: 269-275 - [c62]Maria Paola Cabasino, Carla Seatzu, Christoforos N. Hadjicostis:
Marking Observer of Labeled Petri Nets with Uncertainty in the Initial Marking. SMC 2013: 2348-2353 - [p4]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Introduction to Petri Nets. Control of Discrete-Event Systems 2013: 191-211 - [p3]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Structural Analysis of Petri Nets. Control of Discrete-Event Systems 2013: 213-233 - [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 - [e3]Carla Seatzu, Manuel Silva, Jan H. van Schuppen:
Control of Discrete-Event Systems. Lecture Notes in Control and Information Sciences 433, Springer 2013, ISBN 978-1-4471-4275-1 [contents] - [e2]Carla Seatzu:
Proceedings of 2013 IEEE 18th Conference on Emerging Technologies & Factory Automation, ETFA 2013, Cagliari, Italy, September 10-13, 2013. IEEE 2013, ISBN 978-1-4799-0864-6 [contents] - 2012
- [j19]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) - [j18]Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Manuel Silva Suárez:
Fault Diagnosis of Discrete-Event Systems Using Continuous Petri Nets. IEEE Trans. Syst. Man Cybern. Part A 42(4): 970-984 (2012) - [c61]Mauro Franceschelli, Daniele Rosa, Carla Seatzu, Francesco Bullo:
A Gossip Algorithm for Heterogeneous Multi-Vehicle Routing Problems. ADHS 2012: 325-332 - [c60]Maria Paola Cabasino, Alessandro Giua, Laura Marcias, Carla Seatzu:
A comparison among tools for the diagnosability of discrete event systems. CASE 2012: 218-223 - [c59]Maria Paola Cabasino, Mariagrazia Dotoli, Carla Seatzu:
Marking estimation of fuzzy Petri nets. ETFA 2012: 1-4 - [c58]Maria Paola Cabasino, Stéphane Lafortune, Carla Seatzu:
Optimal sensor selection for ensuring diagnosability in labeled bounded Petri nets. WODES 2012: 208-213 - [i1]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized Estimation of Laplacian Eigenvalues in Multi-Agent Systems. CoRR abs/1206.4509 (2012) - 2011
- [j17]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Quantized consensus in Hamiltonian graphs. Autom. 47(11): 2495-2503 (2011) - [c57]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 - [c56]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu, Antonio Solinas, Katiuscia Zedda:
Fault diagnosis of an ABS system using Petri nets. CASE 2011: 594-599 - [c55]Maria Paola Cabasino, Alessandro Giua, Cristian Mahulea, Carla Seatzu:
On decentralized observability of discrete event systems. CDC/ECC 2011: 378-384 - 2010
- [j16]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) - [j15]Tina Paschedag, Alessandro Giua, Carla Seatzu:
Constrained optimal control: an application to semiactive suspension systems. Int. J. Syst. Sci. 41(7): 797-811 (2010) - [j14]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) - [c54]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
Decentralized diagnosis of Petri nets. ACC 2010: 3371-3377 - [c53]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events. CASE 2010: 485-490 - [c52]Maria Paola Cabasino, Carla Seatzu, Cristian Mahulea, Manuel Silva Suárez:
Fault diagnosis of manufacturing systems using continuous Petri nets. SMC 2010: 534-539 - [c51]Alessandro Giua, Carla Seatzu, Yorai Wardi:
IPA for continuous Petri nets. WODES 2010: 47-52 - [c50]Maria Paola Cabasino, Alessandro Giua, Andrea Paoli, Carla Seatzu:
A new protocol for the decentralized diagnosis of labeled Petri nets. WODES 2010: 123-128
2000 – 2009
- 2009
- [c49]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Hamiltonian quantized gossip. CCA/ISIC 2009: 648-654 - [c48]Carla Seatzu, Cristian Mahulea, Maria Paola Cabasino, Manuel Silva Suárez:
Fault diagnoser design for untimed continuous Petri nets. CCA/ISIC 2009: 1598-1604 - [c47]Alessandro Giua, Carla Seatzu, Yorai Wardi:
Application of IPA to Fluid Petri Nets. ADHS 2009: 268-273 - [c46]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Load balancing over heterogeneous networks with gossip-based algorithms. ACC 2009: 1987-1993 - [c45]Cristian Mahulea, Carla Seatzu, Maria Paola Cabasino, Laura Recalde, Manuel Silva:
Observer design for untimed continuous Petri nets. ACC 2009: 4765-4770 - [c44]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Decentralized fault diagnosis for sensor networks. CASE 2009: 334-339 - [c43]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Diagnosability of bounded Petri nets. CDC 2009: 1254-1260 - [c42]Maria Paola Cabasino, Alessandro Giua, Stéphane Lafortune, Carla Seatzu:
Diagnosability analysis of unbounded Petri nets. CDC 2009: 1267-1272 - [c41]Mauro Franceschelli, Andrea Gasparri, Alessandro Giua, Carla Seatzu:
Decentralized Laplacian eigenvalues estimation for networked multi-agent systems. CDC 2009: 2717-2722 - [c40]Carla Seatzu, Maria Paola Cabasino, Cristian Mahulea, Manuel Silva Suárez:
New results for fault detection of untimed continuous Petri nets. CDC 2009: 6952-6957 - [c39]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Discrete Event Diagnosis using Petri Nets. ICINCO-ICSO 2009: 15-29 - 2008
- [j13]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) - [j12]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) - [j11]Alessandro Giua, Carla Seatzu:
Modeling and Supervisory Control of Railway Networks Using Petri Nets. IEEE Trans Autom. Sci. Eng. 5(3): 431-445 (2008) - [c38]Fausto Sessego, Alessandro Giua, Carla Seatzu:
HYPENS: A Matlab Tool for Timed Discrete, Continuous and Hybrid Petri Nets. Petri Nets 2008: 419-428 - [c37]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Linear programming techniques for the identification of place/transition nets. CDC 2008: 514-520 - [c36]Alessandro Giua, Carla Seatzu, Fausto Sessego:
Simulation and analysis of hybrid Petri nets using the Matlab tool HYPENS. SMC 2008: 1922-1928 - 2007
- [j10]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) - [j9]Alessandro Giua, Carla Seatzu, Daniele Corona:
Marking Estimation of Petri Nets With Silent Transitions. IEEE Trans. Autom. Control. 52(9): 1695-1699 (2007) - [c35]Francesco Basile, Alessandro Giua, Carla Seatzu:
Supervisory Control of Petri Nets with Decentralized Monitor Places. ACC 2007: 4957-4962 - [c34]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized Supervisory Control of Petri Nets with Monitor Places. CASE 2007: 7-13 - [c33]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 - [c32]Mauro Franceschelli, Alessandro Giua, Carla Seatzu:
Load balancing on networks with gossip-based distributed ]algorithms. CDC 2007: 500-505 - [c31]Cristian Mahulea, Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
A state estimation problem for timed continuous Petri nets. CDC 2007: 1770-1775 - 2006
- [j8]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) - [c30]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 - [c29]Maria Paola Cabasino, Alessandro Giua, Carla Seatzu:
Identification of unbounded Petri nets from their coverability graph. CDC 2006: 434-440 - [c28]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
- [j7]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) - [c27]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 - [c26]Alessandro Giua, Carla Seatzu:
Fault detection for discrete event systems using Petri nets with unobservable transitions. CDC/ECC 2005: 6323-6328 - [c25]Alessandro Giua, Carla Seatzu:
Identification of free-labeled Petri nets via integer programming. CDC/ECC 2005: 7639-7644 - [c24]Francesco Basile, Alessandro Giua, Carla Seatzu:
Decentralized supervisory control of Petri nets with monitor places. ETFA 2005 - [c23]Daniele Corona, Alessandro Giua, Carla Seatzu:
Quantized optimal control of discrete-time systems. ETFA 2005 - 2004
- [j6]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) - [c22]Daniele Corona, Alessandro Giua, Carla Seatzu:
Optimal feedback switching laws for autonomous hybrid automata. ISIC 2004: 31-36 - [c21]Daniele Corona, Alessandro Giua, Carla Seatzu:
Marking estimation of Petri nets with silent transitions. CDC 2004: 966-971 - 2003
- [c20]Alberto Bemporad, Daniele Corona, Alessandro Giua, Carla Seatzu:
Optimal State-Feedback Quadratic Regulation of Linear Hybrid Automata. ADHS 2003: 367-372 - [c19]Alessandro Giua, Carla Seatzu:
Deadlock characterization for Petri nets control using GMEC's and observers. ACC 2003: 320-325 - [c18]Alessandro Giua, Jorge Júlvez, Carla Seatzu:
Marking estimation of Petri nets based on partial observation. ACC 2003: 326-331 - [c17]Daniele Corona, Alessandro Giua, Carla Seatzu, Jorge Júlvez:
Observers for nondeterministic λ-free labeled Petri nets. ETFA (1) 2003: 307-314 - [c16]Alessandro Giua, Mauro Melas, Carla Seatzu:
Design of a control law for a magneto-rheological suspension. ECC 2003: 1869-1874 - [c15]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 - [c14]Maria Pia Fanti, Alessandro Giua, Carla Seatzu:
Generalized mutual exclusion constraints and monitors for colored Petri nets. SMC 2003: 1860-1865 - [c13]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
- [j5]Alessandro Giua, Aldo Piccaluga, Carla Seatzu:
Firing rate optimization of cyclic timed event graphs by token allocations. Autom. 38(1): 91-103 (2002) - [j4]Alessandro Giua, Carla Seatzu:
Observability of place/transition nets. IEEE Trans. Autom. Control. 47(9): 1424-1437 (2002) - [c12]Alessandro Giua, Carla Seatzu, Francesco Basile:
Petri net control using event observers and timing information. CDC 2002: 787-792 - [c11]Alberto Bemporad, Raymond Giua, Carla Seatzu:
Synthesis of state-feedback optimal controllers for continuous-time switched linear systems. CDC 2002: 3182-3187 - 2001
- [j3]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) - [c10]Manuela Ebau, Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Semiactive suspension design taking into account the actuator delay. CDC 2001: 93-98 - [c9]Alessandro Giua, Carla Seatzu, Cornelis Van der Mee:
Optimal control of switched autonomous linear systems. CDC 2001: 2472-2477 - [c8]Alessandro Giua, Carla Seatzu:
Supervisory control of railway networks with Petri nets. CDC 2001: 5004-5009 - [c7]Francesco Basile, Pasquale Chiacchio, Alessandro Giua, Carla Seatzu:
Deadlock recovery of Petri net models controlled using observers. ETFA (2) 2001: 441-449 - [c6]Alessandro Giua, Carla Seatzu:
The observer coverability graph for the analysis of observability properties of Place/Transition nets. ECC 2001: 1339-1344 - 2000
- [j2]Carla Seatzu:
Design of decentralized constant-volume controllers for open-channels by solving a least squares problem. Int. J. Syst. Sci. 31(6): 759-770 (2000) - [c5]Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Active axletree suspension for road vehicles with gain-switching. CDC 2000: 438-443 - [c4]Alessandro Giua, Carla Seatzu:
Observability properties of Petri nets. CDC 2000: 2676-2681 - [c3]Alessandro Giua, Aldo Piccaluga, Carla Seatzu:
Incremental Optimization of Cyclic Timed Event Graphs. ICRA 2000: 2211-2216
1990 – 1999
- 1999
- [j1]Alessandro Giua, Carla Seatzu, Giampaolo Usai:
Observer-controller design for cranes via Lyapunov equivalence. Autom. 35(4): 669-678 (1999) - [c2]Carla Seatzu:
Robust PI decentralized control law for open-channel hydraulic systems. ECC 1999: 3160-3165 - 1998
- [c1]Carla Seatzu, Alessandro Giua, Giampaolo Usai:
Decentralized volume control of open-channels using H2 norm minimization. SMC 1998: 3891-3896
Coauthor Index
[j70] [c117] [i15] [i14] [c114] [c113] [c111] [j67] [j64] [j63] [j57] [j55] [c107] [i12] [j51] [j49] [c106] [c101] [i9] [j47] [j46] [c99] [c96] [j43] [j42] [j37] [c93] [c91] [c88] [j33] [j32] [j31] [c85] [c84] [c82] [c81] [j28] [j26] [j25] [c73] [j24] [j23] [j21] [j20] [p4] [p3] [p2] [p1] [j19] [c60] [i1] [j17] [c57] [c56] [c55] [j16] [j15] [j14] [c54] [c53] [c51] [c50] [c49] [c47] [c46] [c44] [c43] [c42] [c41] [c39] [j13] [j12] [j11] [c38] [c37] [c36] [j10] [j9] [c35] [c34] [c33] [c32] [c31] [j8] [c30] [c29] [c28] [e1] [j7] [c27] [c26] [c25] [c24] [c23] [j6] [c22] [c21] [c20] [c19] [c18] [c17] [c16] [c15] [c14] [c13] [j5] [j4] [c12] [j3] [c10] [c9] [c8] [c7] [c6] [c5] [c4] [c3] [j1] [c1]
Manuel Silva 0001
aka: Manuel Silva Suárez
aka: Manuel Silva Suárez
ShouGuang Wang
aka: Shouguang Wang
aka: Shouguang Wang
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 2024-11-14 00:52 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:
