Publications

WP1 Modeling and abstraction
WP2 System analysis and design
WP3 Online decision-making and control
WP4 Integration and power network applications

WP1 Modeling and abstraction

1.1 Martin Franzle, Ernst Moritz Hahn, Holger Hermanns, Nicolas Wolovick, Lijun Zhang
Measurability and Safety Verification for Stochastic Hybrid Systems
In Emilio Frazzoli and Radu Grosu (eds.), Proceedings of the 13th International Conference on Hybrid Systems: Computation and Control (HSCC 2011, Chicago, USA), ACM, New York, NY, USA, 2011, pp. 43-52.

1.2 Alessandro Abate, Alessandro D'Innocenzo and Maria Domenica Di Benedetto, Approximate Abstractions of Stochastic Hybrid systems
IEEE Transactions on Automatic Control, 56(10), Nov. 2011.

1.3 Ilya Tkachev and Alessandro Abate
On infinite-horizon probabilistic properties and stochastic bisimulation functions
Proceedings of the 50th IEEE Conference on Decision and Control (CDC 11), Orlando, FL, Dec. 2011.

1.4 Alessandro Abate and Maria Prandini
Approximate abstractions of stochastic systems: a randomized method
Proceedings of the 50th IEEE Conference on Decision and Control (CDC 11), Orlando, FL, Dec. 2011.

1.5 H. Fu, and J.-P. Katoen
Deciding Probabilistic Simulation between Probabilistic Pushdown Automata and Finite-State Systems
In Foundations of Software Technology and Theoretical Computer Science (FSTTCS). LIPIcs. Schloss Dagstuhl, 2011.

1.6 A. Sharma, and J.-P. Katoen
Weighted Lumpability on Markov Chains
To appear in 8th Ershov Informatics Conference (PSI) 2011. LNCS.

1.7 B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. Pedersen, F. Sher, and A. Wasowski Abstract Probabilistic Automata
In Verification, Model Checking and Abstract Interpretation (VMCAI). pages 324-339.
Volume 6538 of LNCS. Springer-Verlag, 2011.

1.8 B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. Pedersen, F. Sher, and A. Wasowski
New Results on Abstract Probabilistic Automata

In Applications of Concurrency to System Design (ACSD). pages 118-127. IEEE CS Press, 2011.

1.9 A. Abate
Probabilistic Bisimulations of Switching and Resetting Difusions
In the Proceedings of the 49th IEEE Conference on Decision and Control (CDC 10), Atlanta, GA, Dec. 2010.

1.10 Ilya Tkachev and Alessandro Abate
Regularization of Bellman equations for in nite-horizon probabilistic properties
ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control, Beijing, PRC, Apr 2012, pp. 227-236.

1.11 Dieky Adzkiya, Bart De Schutter, and Alessandro Abate
Abstraction and Veri cation of Autonomous Max-Plus-Linear Systems
Proceedings of the 31st American Control Conference, Jun 2012, Montreal, CA, pp. 721-726.

1.12 E.M. Hahn, A. Hartmanns, H. Hermanns and J.- P. Katoen
A Compositional Modelling and Analysis Framework for Stochastic Hybrid Systems
Formal Methods in System Design, October 2013, Volume 43, Issue 2, pp 191-232

1.13 Alessandro D'Innocenzo, Alessandro Abate, and Joost-Pieter Katoen
Robust PCTL Model Checking
ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control, Beijing, PRC, Apr 2012, pp. 275-285.

1.14 A. Sharma
Weighted Probabilistic Equivalence Preserves Omega-Regular Properties
In 16th International GI/ITG Conference, MMB & DFT 2012, pages 121-135, LNCS 7201, 2012.

1.15 H. Fu
Computing game metrics on Markov decision processes
In A. Czumaj, K. Mehlhorn, A. M. Pitts, and R. Wattenhofer, editors, 39th International Colloquium on Automata, Languages, and Programming (ICALP), LNCS 7392, pages 227-238. Springer, 2012.

1.16 F. Sher and J.-P. Katoen
Compositional Abstraction Techniques for Probabilistic Automata
In 7th IFIP TC 1/WG 2.2 International Conference on Theoretical Computer Science (IFIP TCS 2012), pp. 325-341, LNCS 7604, Springer, 2012.

1.17 A. Abate
Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey
To appear in Electronic Notes in Theoretical Computer Sciences, 2012.

1.18 I. Tkachev and A. Abate
Stability and attractivity of absorbing sets for discrete-time Markov processes
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 7652 - 7657.

1.19 Nils Müllner, Martin Fränzle, and Oliver Theel
Combining Decomposition and Reduction for State Space Analysis of a Self-Stabilizing System
In the proceedings of the 2012 IEEE 26th International Conference on Advanced Information Networking and Applications (AINA),pp. 936-943, Japan, 2012.

1.20 Simone Garatti and Maria Prandini
A simulation-based approach to the approximation of stochastic hybrid systems
In the Proceedings of the 4th IFAC Conference on Analysis and Design of Hybrid Systems
(ADHS'12), Eindhoven, The Netherlands, June 4-8, 2012.

1.21 B. Delahaye, J.-P. Katoen, K. G. Larsen, A. Legay, M. L. Pedersen, F. Sher and A. Wasoski
Abstract Probabilistic Automata
To appear in Information and Computation, 80 pages, 2013.

1.22 M. Swaminathan, J.-P. Katoen, E.-R. Olderog
Layered Reasoning for Randomized Distributed Algorithms
Formal Aspects of Computing, 24(4-6), pages 477- 496, 2012.

1.23 I. Tkachev and A. Abate
Characterization and computation of infinite horizon specifications over Markov processes
To appear in Theoretical Computer Science, 2013.

1.24 A. Abate
Approximation Metrics based on Probabilistic Bisimulations for General State-Space Markov Processes: a Survey
Electronic Notes in Theoretical Computer Sciences, 2013.

1.25 I. Tkachev and A. Abate
Stability and attractivity of absorbing sets for discrete-time Markov processes
Proceedings of the 51st IEEE Conference on Decision and Control, Maui, HW, December 2012, pp. 7652 - 7657.

1.26 I. Tkachev and A. Abate
Formula-free finite abstractions for linear temporal verfication of Stochastic Hybrid Systems
Proceedings of the 16th ACM international conference on Hybrid Systems: computation and control, 2013.

1.27 D. Adzkiya and A. Abate, VeriSiMPL
Verification via biSimulations of MPL models
Quantitative Evaluation of Systems, K. Joshi et al. eds., LNCS 8054, pp. 274- 277, Springer Verlag, 2013. Aug. 2013.

 

WP2 System analysis and design

2.1 A. Abate, J.-P. Katoen, J. Lygeros, M. Prandini
A two-step scheme for approximate model checking of stochastic hybrid systems
18th IFAC World Congress, Milano, Italy, 2011.

2.2 T. Chen, T. Han, J.-P. Katoen, and A. Mereacre
Reachability probabilities in Markovian timed automata
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.

2.3 T. Chen, T. Han, J.-P. Katoen, and A. Mereacre
Model checking of continuous-time Markov chains against timed automata specifications
Logical Methods in Computer Science, 7(1-2):1-34, 2011.

2.4 Alessandro Abate, Joost-Pieter Katoen, and Alexandru Mereacre
Quantitative Automata Model Checking of Autonomous Stochastic Hybrid Systems
14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC). pages 83–92. ACM Press, 2011.

2.5 S. Summers, M. Kamgarpour, C. Tomlin, and J. Lygeros
A stochastic reach-avoid problem with random obstacles
14th ACM International Conference on Hybrid Systems: Computation and Control (HSCC),
ACM Press, 2011.

2.6 M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C.J. Tomlin
Discrete time stochastic hybrid dynamical games: Verification & controller synthesis
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.

2.7 D. M. Raimondo, N. Kariotoglou, S. Summers, and J. Lygeros
Probabilistic certification of pan-tilt-zoom camera surveillance systems
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.

2.8 N. Kariotoglou, D. M. Raimondo, S. Summers, and J. Lygeros
A stochastic reachability framework for autonomous surveillance with pan-tilt-zoom cameras
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.

2.9 S. Soudjani and A. Abate
Adaptive gridding for abstraction and verification of stochastic hybrid systems
In 8th Conference on Quantitative Evaluation of Systems (QEST 11), Aachen, DE, Sept. 2011.

2.10 M. Kamgarpour, J. Ding, S. Summers, A. Abate, J. Lygeros and C. Tomlin
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica, Volume 49, Issue 9, September 2013, pp. 26652674.

2.11 S. Esmaeil Zadeh Soudjani and A. Abate
Probabilistic Invariance of Mixed Deterministic-Stochastic Dynamical Systems
ACM Proceedings of the 15th International Workshop on Hybrid Systems: Computation and Control (HSCC), Beijing, PRC, Apr 2012, pp. 207-216.

2.12 S. Esmaeil Zadeh Soudjani and A. Abate
Higher Order Approximations for Verfication of Stochastic Hybrid Systems
In Automated Technology for Verfication and Analysis (ATV), S. Chakraborty and M.
Mukund eds., LNCS 7561, pp. 416-434, Springer Verlag, 2012.

2.13 C. Ellen, S. Gerwinn, and M. Fränzle
Confidence Bounds for Statistical Model Checking of Probabilistic Hybrid Systems
In Proceedings of the 10th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS), LNCS, Springer Verlag,Volume 7595,  2012,  pp 123-138.

2.14 Christoph Zechner, Jakob Ruess, Peter Krenn, Serge Pelet, Matthias Peter, John Lygeros, and Heinz Koeppl
Moment-based inference predicts bimodality in transient gene expression
In Proceedings of the National Academy of Sciences of the USA (PNAS), 109:8340- 8345, 2012.

2.15 T. Teige and M. Fränzle
Generalized Craig interpolation for stochastic Boolean satisfiability problems
Logical Methods in Computer Science, special issue on TACAS'11, Tools and Algorithms for the Construction of Analysis of Systems, Lecture Notes in Computer Science Volume 665, 2011, pp 158-172.

2.16 T. Teige and M. Fränzle
Generalized Craig Interpolation for Stochastic Boolean Satisfiability Problems with Applications to Probabilistic State Reachability and Region Stability
Logical Methods in Computer Science. 8:1-32, 2012.

2.17 H. Fu
Approximation algorithm for verifying continuous-time Markov chains against multi-clock timed automata
Hybrid Systems: Computation and Control (HSCC), 2013. (Best student award paper.)

2.18 S.E.Z. Soudjani and A. Abate
Probabilistic Reachability Computation for Mixed Deterministic-Stochastic Processes
To appear in IEEE Transactions on Automatic Control, Feb. 2014.

2.19 S.E.Z. Soudjani and A. Abate
Adaptive and Sequential Gridding for Abstraction and Verification of Stochastic Processes
SIAM Journal on Applied Dynamical Systems, vol. 12, nr. 2, pp. 921- 956, 2013.

2.20 J. Ding, M. Kamgarpour, S. Summers, A. Abate, J. Lygeros and C.J. Tomlin
A stochastic games framework for veri cation and control of discrete-time stochastic hybrid systems
Automatica, vol. 49, nr. 9, pp. 2665-2674, 2013.

2.21 S. Garatti, M.C. Campi
Modulating robustness in control design: principles and algorithms
IEEE Control Systems 33(2):36-51, 2013.

2.22 A. Caré, S. Garatti, M.C. Campi
Least squares estimates and the coverage of least squares costs
52nd IEEE Conference on Decision and Control, 2013.

2.23 S. Summers, M. Kamgarpour, C. Tomlin, J. Lygeros
Stochastic system controller synthesis for reachability speci cations encoded by random sets
Automatica vol. 49, pp. 2906-2910, 2013.

2.24 J. Ruess, A. Milias-Argeitis, J. Lygeros
Designing experiments to understand the variability in biochemical reaction networks
J R Soc Interface vol. 10, no. 88:20130588, 2013.

2.25 J. Ruess and J. Lygeros
Identifying stochastic biochemical networks from single-cell population experiments: a comparison of approaches based on the Fisher information
CDC 2013.

2.26 A. Hjartarson, J. Ruess and J. Lygeros
Approximating the solution of the chemical master equation by combining nite state projection and stochastic simulation
CDC 2013.

2.27 B. Svetozarevic, P. Mohajerin Esfahani, M. Kamgarpour, and J. Lygeros
A Robust Fault Detection and Isolation Filter for a Horizontal Axis Variable Speed Wind Turbine
ACC 2013.

 

WP3 Online decision-making and control

3.1 Debasish Chatterjee, Federico Ramponi, Peter Hokayem, John Lygeros
On mean square boundedness of stochastic linear systems with bounded controls
System & Control Letter, Volume 61, Issue 2, February 2012, Pages 375–380.

3.2 Peter Hokayem, Eugenio Cinquemani, Debasish Chatterjee, Federico Ramponi, John Lygeros
Stochastic receding horizon control with output feedback and bounded control inputs
Automatica, Volume 48, Issue 1, January 2012, Pages 77–88

3.3 Peyman Mohajerin Esfahani, Debasish Chatterjee, and John Lygeros
On a problem of stochastic reach-avoid set characterization
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.

3.4 Andreas Milias-Argeitis, Sean Summers, Jacob Stewart-Ornstein, Ignacio Zuleta, David Pincus, Hana El-Samad, Mustafa Khammash and John Lygeros
In silico feedback for in vivo regulation of a gene expression circuit
Nature Biotechnology, No. 29, 1114-1116, 2011.

3.5 Taolue Chen, Tingting Han, Joost-Pieter Katoen, and Alexandru Mereacre
Observing Continuous-Time MDPs by 1-Clock Timed Automata
Invited paper in Workshop on Reachability Problems (RP), Genova,
Sept. 2011. pages 2 - 25. Volume 6945 of LNCS, Springer-Verlag, 2011.

3.6 D. Guck, T. Han, J.-P. Katoen, and M. R. Neuhäußer
Quantitative Timed Analysis of Interactive Markov Chains
4th International NASA Formal Methods Symposium, pages 8- 23, LNCS 7226, Springer, 2012.

3.7 J.-P. Katoen
GSPNs Revisited: Simple Semantics and New Analysis Algorithms
In J. Brandt and K. Heljanko, editors, 12th International Conference on Application of Concurrency to System Design (ACSD), pp. 6-11, IEEE Press, 2012.

3.8 Shaunak D. Bopardikar, Alessandro Borri, Jo~ao P. Hespanha, Maria Prandini, Maria D. Di Benedetto
Randomized Sampling for Large Zero-Sum Games
Automatica, Volume 49, Issue 5, May 2013, pp. 11841194.

3.9 M. Prandini and L. Piroddi
A self-recovery approach to the probabilistic invariance problem for stochastic hybrid systems
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 2096-2101.

3.10 M. Prandini, S. Garatti, and J. Lygeros
A Randomized Approach to Stochastic Model Predictive Control
Decision and Control (CDC), 2012 IEEE 51st Annual Conference on, Dec. 2012, pp. 7315-7320.

3.11 D. Guck, H. Hate , H. Hermanns, J.-P. Katoen, and M. Timmer
Modelling, Reduction and Analysis of Markov Automata
In 10th Int. Conf. on Quantitative Evaluation of Systems (QEST). pages 34-50. Volume 8054 of LNCS. Springer, 2013.

3.12 I. Tkachev, A. Mereacre, J.-P. Katoen, and A. Abate
Quantitative Automata-based Controller Synthesis for Non-Autonomous Stochastic Hybrid Systems
Hybrid Systems: Computation and Control (HSCC). pages 293-303. ACM, 2013.

3.13 D. Adzkiya, B. De Schutter and A. Abate
Finite Bisimulations of Max-Plus-Linear Systems
IEEE Transactions on Automatic Control, vol. 58, nr. 12, Dec. 2013.

3.14 D. Adzkiya, B. De Schutter and A. Abate
Finite Abstractions of Nonautonomous Max-Plus-Linear Systems
31st American Control Conference, Washington, DC, June 2013.

3.15 J. Ding, A. Abate and C.J. Tomlin
Optimal Control of Partially Observable Discrete Time Stochastic Hybrid Systems for Safety Specifications
31st American Control Conference, Washington, DC, June 2013.

3.16 M. Zamani and A. Abate
Approximately Bisimilar Symbolic Models for Stochastic Switched Systems
Quantitative Evaluation of Systems, K. Joshi et al. eds., LNCS 8054, pp. 305-321, Springer Verlag, 2013. Aug. 2013.

3.17 M. Zamani, P. Mohajerin Esfahani, R. Majumdar, A. Abate, and J. Lygeros
Bisimilar finite abstractions for stochastic control systems
52nd IEEE Conference on Decision and Control, Florence IT, December 2013.

3.18 M. Zamani, P. Mohajerin Esfahani, A. Abate, and J. Lygeros
Symbolic models for stochastic control systems without stability assumptions
European Control Conference 2013, pp. 4257-4262.

3.19 M. Strelec and J. Berka
Microgrid Energy Management based on Approximate Dynamic Programming
IEEE Innovative Smart Grid Technologies (ISGT 2013), Copenhagen, Denmark, 2013.

3.20 K. Margellos and J. Lygeros
Viable set computation for hybrid systems
Nonlinear Analysis: Hybrid Systems 10 (2013) 45-62.

3.21 N. Kariotoglou, S. Summers, T. Summers, M. Kamgarpour and J. Lygeros
Approximate dynamic programming for stochastic reachability
2013 European Control Conference, July 17-19, 2013, Zurich, Switzerland.

3.22 T. Summers, K. Kunz, N. Kariotoglou, M. Kamgarpour, S. Summers, and J. Lygeros
Approximate Dynamic Programming via Sum of Squares Programming
2013 European Control Conference, July 17-19, 2013, Zurich, Switzerland.

3.23 M. Kamgarpour, S. Summers and J. Lygeros
Control Design for Specifications on Stochastic Hybrid Systems
Hybrid Systems: Computation and Control (HSCC), 2013.

3.24 F. Oldewurtel, D. Sturzenegger, P. Mohajerin Esfahani, G. Andersson, M. Morari, and J. Lygeros
Adaptively Constrained Stochastic Model Predictive Control for Closed-Loop Constraint Satisfaction
31st American Control Conference, Washington, DC, June 2013.

3.25 P. Mohajerin Esfahani, A. Milias-Argeitis, and D. Chatterjee
Analysis of Controlled Biological Switches via Stochastic Motion Planning
2013 European Control Conference, July 17-19, 2013, Zurich, Switzerland.

3.26 S. Summers and J. Lygeros
Multi-objective optimal control of stochastic hybrid systems
51st IEEE Conference on Decision and Control, Maui, Hawaii, Dec. 2012.

3.27 X. Zhang, K. Margellos, P. Goulart, and J. Lygeros
Stochastic Model Predictive Control using a Combination of Randomized and Robust Optimization
52nd IEEE Conference on Decision and Control, Florence IT, Dec. 2013.

3.28 L. Deori, S. Garatti, and M. Prandini
Stochastic constrained control: trading performance for state constraint feasibility
2013 European Control Conference, July 17-19, 2013, Zurich, Switzerland.

 

WP4 Integration and power network applications

4.1 John Tzanos, Kostas Margellos, John Lygeros
Optimal wind turbine placement via randomized optimization techniques
Proceedings of the Power Systems Computation Conference (PSCC) 2011, Stockholm, Sweden, August 22-26, 2011.

4.2 Ralph Burkart, Kostas Margellos and John Lygeros
Nonlinear Control of Wind Turbines: An Approach Based on Switched Linear Systems and Feedback Linearization
IEEE Conference on Decision and Control (CDC), Orlando, FL, USA, 2011.


4.3 K. Margellos, T. Haring, P. Hokayem, M. Schubiger, J. Lygeros and G. Andersson
A robust reserve scheduling technique for power systems with high wind penetration
International Conference on Probabilistic Methods Applied to Power Systems, Istanbul, Turkey, 2012.

4.4 M. Vrakopoulou, K. Margellos, J. Lygeros and G. Andersson
Probabilistic guarantees for the N-1 security of systems with wind power generation
Reliability and Risk Evaluation of Wind Integrated Power Systems, Springer, pp 59-73, 2013.

4.5 M. Vrakopoulou, K. Margellos, J. Lygeros and G. Andersson
A probabilistic framework for security constrained reserve scheduling of networks with wind power generation
Proceedings of IEEE Conference on Energy and Exhibition (ENERGYCON), Florence, Italy, 2012.

4.6 M. Strelec, K. Macek, and A. Abate
Modeling and Simulation of a Microgrid as a Stochastic Hybrid System
Proceedings of IEEE PES Innovative Smart Grid Technologies (ISGT 12), Berlin (DE).

4.7 K. Macek, M. Strelec
Microgrid as a Stochastic Hybrid System - Two Formal Frameworks for Advanced Computing
SMARTGREENS 2012, Proceedings of the 1st International Conference on Smart Grids and Green IT Systems, Porto, Portugal, 19 - 20 April, 2012. SciTePress 2012, ISBN 978-989-8565-09-9
.

4.8 S. Chakraborty, J.-P. Katoen, M. Strelec, F. Sher
Modelling and Statistical Model Checking of a Microgrid
Workshop on Statistical Model Checking (SMC), Rennes, 2013.

4.9 S.E.Z. Soudjani and A. Abate
Aggregation of Thermostatically Controlled Loads by Formal Abstractions
Proceedings of the European Control Conference 2013, pp. 4232-4237.

4.10 M. Kamgarpour, C. Ellen, S.E.Z. Soudjani, S. Gerwinn, J.L. Mathieu, N. Mullner, A. Abate, D.S. Callaway, M. Fränzle, and J. Lygeros
Modeling Options for Demand Side Participation of Thermostatically Controlled Loads
IREP 2013.

4.11 M. Vrakopoulou, M. Katsampani, K. Margellos, J. Lygeros and G. Andersson
Probabilistic security- constrained AC optimal power flow
PowerTech 2013.

4.12 K. Margellos, V. Rostampour, M. Vrakopoulou, M. Prandini, G. Andersson and J. Lygeros
Stochastic unit commitment and reserve scheduling: A tractable formulation with probabilistic certificates
Proceedings of the European Control Conference 2013

4.13 V. Rostampour, K. Margellos, M. Vrakopoulou, M. Prandini, G. Andersson and J. Lygeros
Reserve Requirements in AC Power Systems With Uncertain Generation
2013 4th IEEE PES Innovative Smart Grid Technologies Europe (ISGT Europe), October 6-9, Copenhagen.

4.14 M. Vrakopoulou, K. Margellos, J. Lygeros, and G. Andersson
Probabilistic Framework for N-1 Reserve Scheduling and Security Assessment of Systems With High Wind Power Penetration
IEEE Transactions on Power Systems, vol. 28, no. 4, November 2013.

4.15 J. L. Mathieu, M. Kamgarpour, J. Lygeros, and D. S. Callaway
Energy Arbitrage with Thermostatically Controlled Loads
Proceedings of the European Control Conference, 2013.

4.16 J. L. Mathieu, T. Haring, Ledyard, G. Andersson
Residential Demand Response Program Design: Engineering and Economic Perspectives
Proceedings of the 10th International Conference on the European Energy Market, 27-31 May 2013, Stockholm, Sweden.

4.17 T. Haring, J. L. Mathieu, G. Andersson
Decentralized Contract Design for Demand Response
Proceedings of the 10th International Conference on the European Energy Market, 27-31 May 2013, Stockholm, Sweden.

4.18 T. Haring, G. Andersson
Cost Allocation in Ancillary Service Markets
To be presented at 47th Hawaii International Conference on System Sciences, 06-09 Jan 2013, Big Island Hawaii, USA.

4.19 T. Haring, J. Lygeros, G. Andersson
Welfare assessment of decentralized pricing of operating reserves
Proceedings of IEEE Powertech 2013, 16-20 June 2013, Grenoble, France.

4.20 N. Ceriani, R. Vignali, L. Piroddi, M. Prandini
An approximate dynamic programming approach to the energy management of a building cooling system
Proceedings of the European Control Conference, 2013.

4.21 F. Borghesan, R. Vignali, L. Piroddi, M. Strelec, M. Prandini
Micro-grid energy management: a computational approach based on simulation and approximate discrete abstraction
IEEE Conference on Decision and Control, Firenze, Italy, 2013.

4.22 F. Borghesan, R. Vignali, L. Piroddi, M. Prandini, M. Strelec
Approximate dynamic programming- based control of a building cooling system with thermal storage
IEEE Innovative Smart Grid Technologies (ISGT 2013), Copenhagen, Denmark, 2013.

 
 

 

announcements

VeriSiMPL Toolbox
Verification via biSimulations of Max-Plus-Linear models. This toolbox is used to generate finite abstractions of autonomous and nonautonomous Max-Plus-Linear (MPL) models over R^n. Alessandro Abate & Dieky Adzkiya (TU Delft).

HSCC 2014
April 15-17, 2014
Berlin, Germany
Martin Fraenzle and John Lygeros chair the HSCC Program Committee.