| 1 |
Auditor Product and Controller Synthesis for Nondeterministic Transition Systems With Practical LTL Specifications
Zibaeenejad MH, Liu J
IEEE Transactions on Automatic Control, 65(10), 4281, 2020 |
| 2 |
Unfolding the interplay between carbon flows and socioeconomic development in a city: What can network analysis offer?
Chen SQ, Xu B, Chen B
Applied Energy, 211, 403, 2018 |
| 3 |
Finite Abstractions of Max-Plus-Linear Systems
Adzkiya D, De Schutter B, Abate A
IEEE Transactions on Automatic Control, 58(12), 3039, 2013 |
| 4 |
A fully automated framework for control of linear systems from temporal, logic specifications
Kloetzer M, Bella C
IEEE Transactions on Automatic Control, 53(1), 287, 2008 |
| 5 |
Approximation metrics for discrete and continuous systems
Girard A, Pappas GJ
IEEE Transactions on Automatic Control, 52(5), 782, 2007 |
| 6 |
Bisimilar linear systems
Pappas GJ
Automatica, 39(12), 2035, 2003 |
| 7 |
Synthesis of silica films at the air/water interface: Effect of template chain length and ionic strength
Ruggles JL, Holt SA, Reynolds PA, White JW
Langmuir, 16(10), 4613, 2000 |
| 8 |
Pressure and voidage fluctuations in slugging fluidized beds
Bi HT
Canadian Journal of Chemical Engineering, 77(3), 568, 1999 |
| 9 |
Chemical and electrostatic association of various metal ions by poly(acrylic acid) and poly(methacrylic acid) as studied by potentiometry
Porasso RD, Benegas JC, van den Hoop MAGT
Journal of Physical Chemistry B, 103(13), 2361, 1999 |
| 10 |
Temperature dependence of the chemical potential of tetradecyldimethylalninoxide micelles in D2O - A SANS study
Gorski N, Kalus J, Meier G, Schwahn D
Langmuir, 15(10), 3476, 1999 |
