| 1 |
Efficient Liveness Assessment for Traffic States in Open, Irreversible, Dynamically Routed, Zone-Controlled Guidepath-Based Transport Systems
Reveliotis S, Masopust T
IEEE Transactions on Automatic Control, 65(7), 2883, 2020 |
| 2 |
A general approach for optimizing dynamic sensor activation for discrete event systems
Yin X, Lafortune S
Automatica, 105, 376, 2019 |
| 3 |
Opacity Enforcement Using Nondeterministic Publicly Known Edit Functions
Ji YD, Yin X, Lafortune S
IEEE Transactions on Automatic Control, 64(10), 4369, 2019 |
| 4 |
In-situ fabrication of diketopyrrolopyrrole-carbazole-based conjugated polymer/TiO2 heterojunction for enhanced visible light photocatalysis
Yang L, Yu YY, Zhang JL, Chen F, Meng X, Qiu Y, Dan Y, Jiang L
Applied Surface Science, 434, 796, 2018 |
| 5 |
Enforcement of opacity by public and private insertion functions
Ji YD, Wu YC, Lafortune S
Automatica, 93, 369, 2018 |
| 6 |
Design Improvement of a Small, Outer Rotor, Permanent Magnet Vernier Generator for Supplying Traffic Enforcement Camera
Ghods M, Nasiri-Gheidari Z, Tootoonchian F, Oraee H
IEEE Transactions on Energy Conversion, 33(3), 1213, 2018 |
| 7 |
SAT-Based Control of Concurrent Software for Deadlock Avoidance
Stanley J, Liao HW, Lafortune S
IEEE Transactions on Automatic Control, 60(12), 3269, 2015 |
| 8 |
A property rights-based analysis of the illegal logging for fuelwood in Kosovo
Bouriaud L, Nichiforel L, Nunes L, Pereira H, Bajraktari A
Biomass & Bioenergy, 67, 425, 2014 |
| 9 |
Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
Liao HW, Lafortune S, Reveliotis S, Wang Y, Mahlke S
IEEE Transactions on Automatic Control, 58(5), 1123, 2013 |
| 10 |
The effective control of major industrial accidents by the Major Industrial Accident Prevention Centers (MAPC) through the Process Safety Management (PSM) grading system in Korea
Shin IJ
Journal of Loss Prevention in The Process Industries, 26(4), 803, 2013 |
