| Title |
Authors |
Conference |
Year |
Attachments |
| Industrial Examples of Formal Specifications for Test Case Generation |
Roehm Hendrik, Gmehlich Rainer, Heinz Thomas, Oehlerking Jens, and Woehrle Matthias |
2nd Intern'l Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015) |
2015 |
.bib .pdf |
| An Introduction to CORA 2015 |
Matthias Althoff |
2nd Intern'l Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015) |
2015 |
.bib .pdf |
| Reachability of Hybrid Systems in Space-Time |
Goran Frehse |
ACM/IEEE Int. Conf. Embedded Systems (EMSOFT'15) |
2015 |
.bib .pdf |
| Benchmark problem: an air brake model for trains |
Luca Parolini, Simone Schuler, Adolfo Anta |
2nd Intern'l Workshop on Applied veRification for Continuous and Hybrid Systems (ARCH 2015) |
2015 |
.bib .pdf |
| Computing Maximizer Trajectories of Affine Dynamics for Reachability |
Goran Frehse |
IEEE Conf. Decision and Control (CDC) |
2015 |
.bib .pdf |
| A Switched Control Scheme to Handle Quantisation in the Design of High-precision Computing System Components |
Federico Terraneo, Alberto Leva, Maria Prandini |
ACM/IEEE Sixth International Conference on Cyber-Physical Systems |
2015 |
.bib .pdf |
| Technology Transfer Process for Autonomous Mobility as Cyberphysical Systems. The H2020 UnCoVerCPS project |
Javier Sanchez Cubillo and Jesus Marcos Olaya |
13th Symposium on Advanced Space Technologies in Robotics and Automation (ASTRA 2015) |
2015 |
.bib .pdf |
| Optimal energy management of a building cooling system with thermal storage: A convex formulation |
Daniele Ioli, Alessandro Falsone, Maria Prandini |
9th International Symposium on Advanced Control of Chemical Processes ADCHEM 2015 |
2015 |
.bib .pdf |
| A model predictive control approach to aircraft motion control |
Luca Deori, Simone Garatti, Maria Prandini |
American Control Conference ACC 2015 |
2015 |
.bib .pdf |
| An Iterative Scheme for the Approximate Linear Programming Solution to the Optimal Control of a Markov Decision Process |
Alessandro Falsone and Maria Prandini |
European Control Conference 2015 |
2015 |
.bib .pdf |
| Poli-RRT*: optimal RRT-based planning for con- strained and feedback linearisable vehicle dynamics |
Matteo Ragaglia, Maria Prandini, Luca Bascetta |
European Control Conference 2015 |
2015 |
.bib .pdf |
| Decentralized control of distributed discrete event systems with linear dependency structure |
Christian Hillmann and Olaf Stursberg |
11th IEEE International Conference on Automation Science and Engineering |
2015 |
.bib .pdf |
| A majority voting classifier with probabilistic guarantees |
Giorgio Manganini, Alessandro Falsone, Maria Prandini |
IEEE Multi-Conference on Systems and Control MSC2015 |
2015 |
.bib .pdf |
| Decentralized robust control of power grids using LPV- models of DAE-systems |
Konstantin Schaab and Olaf Stursberg |
1st IFAC Workshop on Linear Parameter Varying Systems |
2015 |
.bib .pdf |
| Robust decentralized LPV control for transient stability of power systems |
Konstantin Schaab and Olaf Stursberg |
9th IFAC Symposium on Control of Power and Energy Systems |
2015 |
.bib .pdf |
| A classification-based approach to the optimal control of affine switched systems |
Giorgio Manganini, Luigi Piroddi and Maria Prandini |
IEEE Conference on Decision and Control 2015 |
2015 |
.bib .pdf |
| Stochastic control with input and state constraints: a relaxation technique to ensure feasibility |
Luca Deori, Simone Garatti and Maria Prandini |
IEEE Conference on Decision and Control 2015 |
2015 |
.bib .pdf |
| An iterative scheme to hierarchically structured optimal energy management of a microgrid |
Daniele Ioli, Alessandro Falsone, Maria Prandini |
IEEE Conference on Decision and Control 2015 |
2015 |
.bib .pdf |
| formalSpec | Semi-automatic formalization of system requirements for Formal Verification (Tool Presentation) |
Axel Busboom, Simone Schuler, Alexander Walsch |
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) |
2016 |
.bib .pdf |
| Benchmark problem: hybrid modelling of a wind turbine |
Simone Schuler, Fabiano Daher Adegas, Adolfo Anta |
Proc. of the Workshop on Applied Verification for Continuous and Hybrid Systems (ARCH) |
2016 |
.bib .pdf |
| Fast control using homotopy properties for obstacle-avoidance of systems with input constraints |
D. Kontny and O. Stursberg |
2016 IEEE Conference on Computer Aided Control System Design (CACSD) |
2016 |
.bib .pdf |
| Control of discrete-time piecewise affine probabilistic systems using reachability analysis |
L. Asselborn and O. Stursberg |
2016 IEEE Conference on Computer Aided Control System Design (CACSD) |
2016 |
.bib .pdf |
| Closed-Form Expressions of Convex Combinations |
Bastian Schurmann, Ahmed El-Guindy, Matthias Althoff |
Proc. of the American Control Conference (ACC) |
2016 |
.bib .pdf |
| STL Model Checking of Continuous and Hybrid Systems |
Hendrik Roehm, Jens Oehlerking, Thomas Heinz, Matthias Althoff |
Automated Technology for Verification and Analysis: 14th International Symposium, ATVA 2016, Chiba, Japan, October 17-20, 2016, Proceedings |
2016 |
.bib .pdf |
| Reachset Conformance Testing of Hybrid Automata |
Roehm Hendrik, Oehlerking Jens, Woehrle Matthias, Althoff Matthias |
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (HSCC) |
2016 |
.bib .pdf |
| FLOPSYNC-QACS: Quantization-Aware Clock Synchronization for Wireless Sensor Networks |
F. Terraneo, A.V. Papadopoulos, A. Leva, M. Prandini |
4th IEEE International Workshop on Real-Time Computing and Distributed systems in Emerging Applications (REACTION 2016) |
2016 |
.bib .pdf |
| A method for detecting relevant inputs while satisfying a reachability specification for piecewise affine systems |
R. Vignali and M. Prandini |
2016 IEEE Conference on Control Applications (IEEE Multi-conference on Systems and Control 2016 |
2016 |
.bib .pdf |
| A Chance-Constrained Approach to the Quantized Control of a Heat Ventilation and Air Conditioning System with Prioritized Constraints |
C. Brocchini, A. Falsone, G. Manganini, O. Holub, M. Prandini |
Symposium on Mathematical Theory of Networks and Systems |
2016 |
.bib .pdf |
| A compositional framework for energy management of a smart grid: a scalable stochastic hybrid model for cooling of a district network |
D. Ioli, A. Falsone, S. Schuler, M. Prandini |
12th IEEE International Conference on Control & Automation |
2016 |
.bib .pdf |
| Energy management of a building cooling system with thermal storage: a randomized solution with feedforward disturbance compensation |
D. Ioli, A. Falsone, M. Prandini |
2016 American Control Conference |
2016 |
.bib .pdf |
| A stochastic optimal control solution to the energy management of a microgrid with storage and renewables |
A. Belloni, L. Piroddi, M. Prandini |
2016 American Control Conference |
2016 |
.bib .pdf |
| Distributed allocation of a shared energy storage system in a microgrid |
P. Dimitrov, L. Piroddi, M. Prandini |
2016 American Control Conference |
2016 |
.bib .pdf |
| Proximal minimization based distributed convex optimization |
K. Margellos, A. Falsone, S. Garatti, M. Prandini |
2016 American Control Conference |
2016 |
.bib .pdf |
| K. Margellos, A. Falsone, S. Garatti, M. Prandini |
K. Margellos, A. Falsone, S. Garatti, M. Prandini |
European Control Conference |
2016 |
.bib .pdf |
| Model reduction of discrete time hybrid systems: A structural approach based on observability |
R. Vignali and M. Prandini |
2nd International Workshop on Symbolic and Numerical Methods for Reachability Analysis (SNR'16) |
2016 |
.bib .pdf |
| From Simulation Models to Hybrid Automata Using Urgency and Relaxation |
Stefano Minopoli and Goran Frehse |
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (HSCC) |
2016 |
.bib .pdf |
| SL2SX Translator: From Simulink to SpaceEx Models (tool paper) |
Stefano Minopoli and Goran Frehse |
Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control (HSCC) |
2016 |
.bib .pdf |
| Implementation of Interval Arithmetic in CORA 2016 |
M. Althoff and D. Grebenyuk |
Proc. of the 3rd International Workshop on Applied Verification for Continuous and Hybrid Systems |
2016 |
.bib .pdf |
| Combining Zonotopes and Support Functions for Efficient Reachability Analysis of Linear Systems |
M. Althoff and G. Frehse |
Proc. of the 55th IEEE Conference on Decision and Control |
2016 |
.bib .pdf |
| Contingency Planning for Automated Vehicles |
Salvado, Joao and Custodio, Luis and Hess, Daniel |
IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS) |
2016 |
.bib .pdf |
| Ultimate robust performance control of rigid robot manipulators using interval arithmetic |
Andrea Giusti, Matthias Althoff |
2016 American Control Conference (ACC) |
2016 |
.bib .pdf |
| Overapproximative Arm Occupancy Prediction for Human-Robot Interaction Built from Archetypal Movements |
A. Pereira and M. Althoff |
International Conference on Robotics and Automation |
2016 |
.bib .pdf |
| Fast optimizing control for non-convex state constraints using homotopy properties |
Damian Kontny, Olaf Stursberg |
2016 IEEE 55th Conference on Decision and Control (CDC) |
2016 |
.bib .pdf |
| Online Motion Synthesis with Minimal Intervention Control and Formal Safety Guarantees |
M.J.A. Zeestraten and A. Pereira and M. Althoff and S. Calinon |
Proc. of IEEE International Conference on Systems, Man, and Cybernetics |
2016 |
.bib .pdf |
| Safe Cooperation of Automated Vehicles |
Hess, Daniel and Loper, Christian and Hesse, Tobias |
AAET - Automatisiertes und vernetztes Fahren, Beitrage zum gleichnamigen |
2017 |
.bib .pdf |
| Provably Safe Motion of Mobile Robots in Human Environments |
Stefan B. Liu and Matthias Althoff and Christian Heinzemann and Hendrik Roehm and Jens Oehlerking and Ingo Luetkebohle |
2017 IEEE/RSJ International Conference on Intelligent Robots and Systems |
2017 |
.bib .pdf |
| A Smart Grid Energy Management Problem for Data-driven Design with Probabilistic Reachability Guarantees |
Daniele Ioli and Alessandro Falsone and Marianne Hartung and Axel Busboom and Maria Prandini |
ARCH17. 4th International Workshop on Applied Verification of Continuous and Hybrid Systems |
2017 |
.bib .pdf |
| Flat-RRT*: A sampling-based optimal trajectory planner for differentially flat vehicles with constrained dynamics |
Luca Bascetta and Maria Prandini |
20th World Congress of the International Federation of Automatic Control |
2017 |
.bib .pdf |
| On the connection between Nash equilibria and social optima in electric vehicle charging control games |
Luca Deori and Kostas Margellos and Maria Prandini |
20th World Congress of the International Federation of Automatic Control |
2017 |
.bib .pdf |
| A two-layer decentralized approach to the optimal energy management of a building district with a shared thermal storage |
Ioli Daniele and Deori Luca and Falsone Alessandro and Prandini Maria |
20th World Congress of the International Federation of Automatic Control |
2017 |
.bib .pdf |
| A Multi-Criteria Decision-Making Scheme for Multi-Aircraft Conflict Resolution |
Yang, Yang; Prandini, Maria; Cao, Xianbin; Du, Wenbo |
20th World Congress of the International Federation of Automatic Control |
2017 |
.bib .pdf |
| A complete modular framework for developing and testing automated driving controllers |
Lattarulo, R. and Perez, J. and Dendaluce, M. |
20th World Congress of the International Federation of Automatic Control |
2017 |
.bib .pdf |
| Fault injection method for safety and controllability evaluation of automated driving |
Garazi Juez Uriagereka, Ray Lattarulo, Joshue Perez Rastelli, Estibaliz Amparan Calonge, Alejandra Ruiz Lopez, Huascar Espinoza Ortiz |
2017 IEEE Intelligent Vehicles Symposium (IV) |
2017 |
.bib .pdf |
| Overtaking maneuver for automated driving using virtual environments |
Lattarulo, R. and Marcano, M. and Perez, J. |
Lecture Notes in Computer Science |
2017 |
.bib .pdf |
| Study of the Lane Change Maneuver: Automated Driving use Case |
Lattarulo, R. and Perez, J. |
16th International Conference on Computer Aided Systems Theory (EuroCAST) |
2017 |
.bib .pdf |
| ARCH-COMP17 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics |
M. Althoff and S. Bak and D. Cattaruzza and X. Chen and G. Frehse and R. Ray and S. Schupp |
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems |
2017 |
.bib .pdf |
| ARCH-COMP17 Category Report: Continuous Systems with Nonlinear Dynamics |
X. Chen and M. Althoff and F. Immler |
Proc. of the 4th International Workshop on Applied Verification for Continuous and Hybrid Systems |
2017 |
.bib .pdf |
| Convex Interpolation Control with Formal Guarantees for Disturbed and Constrained Nonlinear Systems |
Bastian Schurmann, Matthias Althoff |
Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control - HSCC '17 |
2017 |
.bib .pdf |
| Optimal Control of Sets of Solutions to Formally Guarantee Constraints of Disturbed Linear Systems |
Bastian Schurmann, Matthias Althoff |
Proc. of the American Control Conference |
2017 |
.bib .pdf |
| Guaranteeing Constraints of Disturbed Nonlinear Systems Using Set-Based Optimal Control in Generator Space |
Bastian Schurmann, Matthias Althoff |
Proc. of the 20th IFAC World Congress |
2017 |
.bib .pdf |
| Ensuring Drivability of Planned Motions Using Formal Methods |
Schurmann, Bastian and Hess, Daniel and Eilbrecht, Jan and Stursberg, Olaf and Koster, Frank and Althoff, Matthias |
Proc. of the Intelligent Transportation Systems Conference |
2017 |
.bib .pdf |
| Counterexample-guided refinement of template polyhedra |
Sergiy Bogomolov, Goran Frehse, Mirco Giacobbe, Thomas A. Henzinger |
23rd Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems (TACAS) |
2017 |
.bib .pdf |
| Robust Control of Continuum Robots using Interval Arithmetic |
F. Hisch and A. Giusti and M. Althoff |
Proc. of the 20th IFAC World Congress |
2017 |
.bib .pdf |
| Formal LPV Control for Transient Stability of Power Systems |
A. El-Guindy and K. Schaab and B. Schurmann and D. Han and O. Stursberg and M. Althoff |
Proc. of the IEEE PES General Meeting |
2017 |
.bib .pdf |
| Distributed constrained optimization and consensusin uncertain networks via proximal minimization |
Kostas Margellos, Alessandro Falsone, Simone Garatti and Maria Prandini |
Proc. of IEEE Transactions on Automatic Control |
2018 |
.bib .pdf |
| Constructing verification models of nonlinear Simulink systems via syntactic hybridization |
Nikolaos Kekatos and Marcelo Forets and Goran Frehse |
Proc. of the 56th Conference on Decision and Control |
2017 |
.bib .pdf |
| ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Linear Continuous Dynamics |
M. Althoff and S. Bak and X. Chen and C. Fan and M. Forets and G. Frehse and N. Kochdumper and Y. Li and S. Mitra and R. Ray and C. Schilling and S. Schupp |
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems |
2018 |
.bib .pdf |
| Implementation of Taylor Models in CORA 2018 |
M. Althoff and D. Grebenyuk and N. Kochdumper |
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems |
2018 |
.bib .pdf |
| Anytime Safety Verification of Autonomous Vehicles |
F. Gruber and M. Althoff |
Proc. of the 21st IEEE International Conference on Intelligent Transportation Systems |
2018 |
.bib .pdf |
| ARCH-COMP18 Category Report: Continuous and Hybrid Systems with Nonlinear Dynamics |
F. Immler and M. Althoff and X. Chen and C. Fan and G. Frehse and N. Kochdumper and Y. Li and S. Mitra and M.S. Tomar and M. Zamani |
Proc. of the 5th International Workshop on Applied Verification for Continuous and Hybrid Systems |
2018 |
.bib .pdf |
| A Formally Verified Motion Planner for Autonomous Vehicles |
Albert Rizaldi and Fabian Immler and Bastian Schurmann and Matthias Althoff |
Proc. of the International Symposium on Automated Technology for Verification and Analysis |
2018 |
.bib .pdf |
| Reachset Model Predictive Control of Disturbed Nonlinear Systems |
Schurmann, Bastian and Kochdumper, Niklas and Althoff, Matthias |
Proc. of the 57th Conference on Decision and Control |
2018 |
.bib .pdf |
| Reachset Conformance Testing of Human Arms with a Biomechanical Model |
Cedric Stark and Aaron Pereira and Matthias Althoff |
Proc. of the IEEE International Conference on Robotic Computing |
2018 |
.bib .pdf |
| Interval-Arithmetic-Based Trajectory Scaling and Collision Detection for Robots with Uncertain Dynamics |
Michael Wagner and Stefan Liu and Andrea Giusti and Matthias Althoff |
Proc. of IEEE International Conference on Robotic Computing |
2018 |
.bib .pdf |
| ARCH-COMP18 Category Report: Hybrid Systems with Piecewise Constant Dynamics |
Goran Frehse and Alessandro Abate and Dieky Adzkiya and Lei Bu and Mirco Giacobbe and Muhammad Syifa'Ul Mufid and Enea Zaffanella |
ARCH18. 5th International Workshop on Applied Verification of Continuous and Hybrid Systems |
2018 |
.bib .pdf |
| Space-Time Interpolants |
Frehse, Goran and Giacobbe, Mirco and Henzinger, Thomas A |
International Conference on Computer Aided Verification |
2018 |
.bib .pdf |
| A Toolchain for Verifying Safety Properties of Hybrid Automata via Pattern Templates |
Goran Frehse and Nikolaos Kekatos and Dejan Nickovic and Jens Oehlerking and Simone Schuler and Alexander Walsch and Matthias Woehrle |
Annual American Control Conference |
2018 |
.bib .pdf |
| Lane change maneuver for autonomous vehicles (Benchmark Proposal) |
Nikolaos Kekatos and Daniel Hess and Goran Frehse |
5th International Workshop on Applied Verification of Continuous and Hybrid Systems |
2018 |
.bib .pdf |
| Reach set approximation through decomposition with low-dimensional sets and high-dimensional matrices |
Bogomolov, Sergiy and Forets, Marcelo and Frehse, Goran and Viry, Frederic and Podelski, Andreas and Schilling, Christian |
Proc. of the 21st International Conference on Hybrid Systems: Computation and Control |
2018 |
.bib .pdf |
| Optimizing online control of constrained systems with switched dynamics |
Liu, Z and Stursberg, O |
Proc. of the European Control Conference |
2018 |
.bib .pdf |
| Optimal Trajectory Planning of Hybrid Systems by Efficient MIQP Encoding |
Liu, Z and Stursberg, O |
Proc. of the 57th IEEE Conference on Decision and Control |
2018 |
.bib .pdf |
| Switched Control for Quantized Feedback Systems: Invariance and Limit Cycle Analysis |
A. V. Papadopoulos and F. Terraneo and A. Leva and M. Prandini |
IEEE Transactions on Automatic Control |
2018 |
.bib .pdf |
| Hybrid control of manipulators in human-robot coexistence scenarios |
A. Casalino and P. Rocco and M. Prandini |
American Control Conference |
2018 |
.bib .pdf |
| Energy management in a multi-building set-up via distributed stochastic optimization |
V. Causevic and A. Falsone and D. Ioli and M. Prandini |
American Control Conference |
2018 |
.bib .pdf |
| A data-driven approach to stochastic constrained control of piecewise affine systems |
Vignali, Riccardo and Ioli, Daniele and Prandini, Maria |
American Control Conference |
2018 |
.bib .pdf |
| A Distributed Iterative Algorithm for Multi-Agent MILPs: Finite-Time Feasibility and Performance Characterization |
A. Falsone and K. Margellos and M. Prandini |
IEEE Control Systems Letters |
2018 |
.bib .pdf |
| 4-D Flight Trajectory Tracking: A Receding Horizon Approach Integrating Feedback Linearization and Scenario Optimization |
L. Deori and S. Garatti and M. Prandini |
IEEE Transactions on Control Systems Technology |
2018 |
.bib .pdf |
| Regularized Jacobi Iteration for Decentralized Convex Quadratic Optimization with Separable Constraints |
L. Deori and K. Margellos and M. Prandini |
IEEE Transactions on Control Systems Technology |
2018 |
.bib .pdf |
| Fast Maneuver Planning for Cooperative Automated Vehicles |
Daniel Hess and Ray Lattarulo and Joshue Perez and Julian. Schindler and Tobias Hesse and Frank Koster |
IEEE Intelligent Transportation Systems Conference ITSC |
2018 |
.bib .pdf |
| Towards conformant models of automated electric vehicles |
Ray Lattarulo and Daniel Hess and Jose Matute and Joshue Perez |
IEEE International Conference on Vehicular Electronics and Safety ICVES |
2018 |
.bib .pdf |
| A Linear Model Predictive Planning Approach for Overtaking Manoeuvres Under Possible Collision Circumstances |
Ray Lattarulo and Daniel Hess and Joshue Perez |
IEEE Intelligent Vehicles Symposium IV |
2018 |
.bib .pdf |
| A Speed Planner Approach Based on Bezier Curves Using Vehicle Dynamic Constrains and Passengers Comfort |
Ray Lattarulo and Enrique Marti and Mauricio Marcano and Jose Matute and Joshue Perez |
IEEE International Symposium on Circuits and Systems |
2018 |
.bib .pdf |
