| 1 |
On Liveness Enforcing Supervisory Policies for Arbitrary Petri Nets
Chen C, Raman A, Hu HS, Sreenivas RS
IEEE Transactions on Automatic Control, 65(12), 5236, 2020 |
| 2 |
Enforcement of Diagnosability in Labeled Petri Nets via Optimal Sensor Selection
Ran N, Giua A, Seatzu C
IEEE Transactions on Automatic Control, 64(7), 2997, 2019 |
| 3 |
In situ formed Cr(III) based silicon-bridged PNS systems for selective ethylene tri-/tetramerization
Alam F, Zhang L, Zhai Y, Wang JD, Tang H, Chen YH, Jiang T
Journal of Catalysis, 378, 312, 2019 |
| 4 |
Codiagnosability Analysis of Bounded Petri Nets
Ran N, Su HY, Giua A, Seatzu C
IEEE Transactions on Automatic Control, 63(4), 1192, 2018 |
| 5 |
Near-Optimal Scheduling for Petri Net Models With Forbidden Markings
Lefebvre D
IEEE Transactions on Automatic Control, 63(8), 2550, 2018 |
| 6 |
Liveness-Enforcing Supervision in AMS-Oriented HAMGs: An Approach Based on New Characterization of Siphons Using Petri Nets
Chen C, Hu HS
IEEE Transactions on Automatic Control, 63(7), 1987, 2018 |
| 7 |
Diagnosability Analysis of Labeled Time Petri Net Systems
Basile F, Cabasino MP, Seatzu C
IEEE Transactions on Automatic Control, 62(3), 1384, 2017 |
| 8 |
Structure-Property Correlation and Harvesting Power from Vibrations of Aerospace Vehicles by Nanocrystalline La-Pb(Ni1/3Sb2/3)-PbZrTiO3 Ferroelectric Ceramics Synthesized by Mechanical Activation
Kumar HH, Lonkar CM, Balasubramanian K
Journal of the American Ceramic Society, 100(1), 215, 2017 |
| 9 |
Biophysical characterization of interactions between the C-termini of peripheral nerve claudins and the PDZ(1) domain of zonula occludens
Wu JW, Peng DG, Zhang Y, Lu ZW, Voehler M, Sanders CR, Li J
Biochemical and Biophysical Research Communications, 459(1), 87, 2015 |
| 10 |
Simultaneous Reduction of Petri Nets and Linear Constraints for Efficient Supervisor Synthesis
Luo JL, Ni HJ, Wu WM, Wang SG, Zhou MC
IEEE Transactions on Automatic Control, 60(1), 88, 2015 |
