화학공학소재연구정보센터
검색결과 : 30건
No. Article
1 Formal Control Synthesis via Simulation Relations and Behavioral Theory for Discrete-Time Descriptor Systems
Haesaert S, Chen F, Abate A, Weiland S
IEEE Transactions on Automatic Control, 66(3), 1024, 2021
2 Isochronous Partitions for Region-Based Self-Triggered Control
Delimpaltadakis G, Mazo M
IEEE Transactions on Automatic Control, 66(3), 1160, 2021
3 Robustly Complete Synthesis of Memoryless Controllers for Nonlinear Systems With Reach-and-Stay Specifications
Li YN, Liu J
IEEE Transactions on Automatic Control, 66(3), 1199, 2021
4 Asymptotic Optimality of Finite Model Approximations for Partially Observed Markov Decision Processes With Discounted Cost
Saldi N, Yuksel S, Linder T
IEEE Transactions on Automatic Control, 65(1), 130, 2020
5 Performance Guarantees for Model-Based Approximate Dynamic Programming in Continuous Spaces
Beuchat PN, Georghiou A, Lygeros J
IEEE Transactions on Automatic Control, 65(1), 143, 2020
6 An Approach to Improve Permissiveness of Supervisors for GMECs in Time Petri Net Systems
Li L, Basile F, Li ZW
IEEE Transactions on Automatic Control, 65(1), 237, 2020
7 Scheduling Multiple Agents in a Persistent Monitoring Task Using Reachability Analysis
Yu X, Andersson SB, Zhou N, Cassandras CG
IEEE Transactions on Automatic Control, 65(4), 1499, 2020
8 Backstepping Control of Coupled Linear Parabolic PDEs With Space and Time Dependent Coefficients
Kerschbaum S, Deutscher J
IEEE Transactions on Automatic Control, 65(7), 3060, 2020
9 On the Stability Analysis of Mixed Traffic With Vehicles Under Car-Following and Bilateral Control
Wang L, Horn BKP
IEEE Transactions on Automatic Control, 65(7), 3076, 2020
10 Model Predictive Tracking Control for Invariant Systems on Matrix Lie Groups via Stable Embedding Into Euclidean Spaces
Chang DE, Phogat KS, Choi J
IEEE Transactions on Automatic Control, 65(7), 3191, 2020