Optimal control of discrete hybrid stochastic automata

Lecture Notes in Computer Science

Volumn 3414, Issue , 2005, Pages 151-167

  Bemporad, Alberto ^a   Di Cairano, Stefano ^a  

^a UNIVERSITY OF SIENA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; BENCHMARKING; OPTIMAL CONTROL SYSTEMS; PROBABILITY; PROBLEM SOLVING; TRAJECTORIES; VECTORS;

BENCHMARK PROBLEMS; DISCRETE HYBRID STOCHASTIC AUTOMATA (DHSA); FINITE-TIME OPTIMAL CONTROL; PRODUCTION SYSTEM MANAGEMENT;

STOCHASTIC CONTROL SYSTEMS;

EID: 24344443721     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31954-2_10     Document Type: Conference Paper

References (19)

1. Antsaklis, P.: A brief introduction to the theory and applications of hybrid systems. Proc. IEEE, Special Issue on Hybrid Systems: Theory and Applications 88 (2000) 879-886
2. Pola, G., Bujorianu, M., Lygeros, J., Di Benedetto, M.: Stochastic hybrid models: an overview with application to air traffic management. In: IFAC-ADHS03,IFAC conference on analysis and design of hybrid systems. (2003)
3. Hu, J., Lygeros, J., Sastry, S.: Towards a theory of stochastic hybrid systems. In Krogh, B., Lynch, N., eds.: Hybrid Systems: Computation and Control. Volume 1790 of Lecture Notes in Computer Science. Springer-Verlag (2000) 160-173
4. Bujorianu, M., Lygeros, J.: Reachability questions in piecewise deterministic markov processes. In Maler, O., Pnueli, A., eds.: Hybrid Systems: Computation and Control. Number 2623 in Lecture Notes in Computer Science, Springer-Verlag (2003) 126-140
5. Liberzon, D., Chatterjee, D.: On stability of stochastic switched systems. In: Proc. 43th IEEE Conf. on Decision and Control, Paradise Island, Bahamas (2004)
6. Strubbe, S., Julius, A., van der Schaft, A.: Communicating piecewise deterministic markov processes. In: in Proc. IFAC Conf. Analysis and Design of Hybrid Systems. (2003) 349-354
7. Prandini, M., Hu, J., Lygeros, J., Sastry, S.: A probabilistic approach to aircraft conflict detection. IEEE Transactions on Intelligent Transportation Systems 1 (2000) 199-220
8. Cassandras, C., Mookherje, R.: Receding horizon optimal control for some stochastic hybrid systems. In: Proc. 41th IEEE Conf. on Decision and Control. (2003) 2162-2167
9. Hespanha, J.: Stochastic hybrid systems: application to communication networks. In Alur, R., Pappas, G., eds.: Hybrid Systems: Computation and Control. Volume 2993 of Lecture Notes in Computer Science. Springer-Verlag (2004) 387-401
10. Torrisi, F., Bemporad, A.: HYSDEL - A tool for generating computational hybrid models. IEEE Trans. Contr. Systems Technology 12 (2004) 235-249
11. Bemporad, A., Di Cairano, S.: Modelling and optimal control of hybrid systems with event uncertainty. Technical report, University of Siena (02/04, 2004) Available at www.dii.unisi.it/~dicairano/papers/tr0204.pdf.
12. Bemporad, A., Morari, M.: Control of systems integrating logic, dynamics, and constraints. Automatica 35 (1999) 407-427
13. Davis, M.: Markov models and optimization. Chapman-Hall, London (1993)
14. Cassandras, C.: Discrete event systems. Aksen associates (1993)
15. Birge, J., Louveaux, F.: Introduction to Stochastic Programming. Springer, New York (1997)
16. Bemporad, A.: Hybrid Toolbox-User's Guide. (2003) http://www.dii.unisi.it/hybrid/toolbox.
17. ILOG, Inc.: CPLEX 8.1 User Manual, Gentilly Cedex, France. (2003)
18. Lazar, M., Heemels, W., Weiland, S., Bemporad, A.: Stability of hybrid model predictive control. In: Proc. 43th IEEE Conf. on Decision and Control, Paradise Island, Bahamas (2004)
19. Papoulis, A.: Probability, random variables and stochastic processes. McGraw-Hill (1991)