검색결과 : 7건
| No. | Article |
|---|---|
| 1 |
On the use of dynamic reliability for an accurate modelling of renewable power plants Chiacchio F, D'Urso D, Famoso F, Brusca S, Aizpurua JI, Catterson VM Energy, 151, 605, 2018 |
| 2 |
Control synthesis for stochastic systems given automata specifications defined by stochastic sets Kamgarpour M, Wood TA, Summers S, Lygeros J Automatica, 76, 177, 2017 |
| 3 |
Verification of Hybrid Automata Diagnosability With Measurement Uncertainty Deng Y, D'Innocenzo A, Di Benedetto MD, Di Gennaro S, Julius AA IEEE Transactions on Automatic Control, 61(4), 982, 2016 |
| 4 |
SEMANTICS AND COMPUTABILITY OF THE EVOLUTION OF HYBRID SYSTEMS Collins P SIAM Journal on Control and Optimization, 49(2), 890, 2011 |
| 5 |
A Mathematical Model of the Skype VoIP Congestion Control Algorithm De Cicco L, Mascolo S IEEE Transactions on Automatic Control, 55(3), 790, 2010 |
| 6 |
Efficient mode enumeration of compositional hybrid systems Geyer T, Torrisi FD, Morari M International Journal of Control, 83(2), 313, 2010 |
| 7 |
Control-invariance of hybrid systems with forcible events - Brief paper Ushio T, Takai S Automatica, 41(4), 669, 2005 |