default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID6th ADHS 2018: Oxford, UK
- Alessandro Abate, Antoine Girard, Maurice Heemels:
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018. IFAC-PapersOnLine 51(16), Elsevier 2018 - Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr.
:
Optimal Symbolic Controllers Determinization for BDD storage. 1-6 - Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia:
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. 7-12 - Adnane Saoud, Pushpak Jagtap, Majid Zamani, Antoine Girard:
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. 13-18 - Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay:
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. 19-24 - Marc Jungers, Antoine Girard, Mirko Fiacchini:
Language constrained stabilization of discrete-time switched linear systems: an LMI approach. 25-30 - Victor S. Dolk, Menno Lauret, Duarte J. Antunes, Patrick D. Anderson, W. P. M. H. Heemels:
A switched system approach to optimize mixing of fluids. 31-36 - Fatima Zohra Taousser, Michael Defoort, Mohamed Djemai, Seddik M. Djouadi, Kevin Tomsovic:
Stability of switched systems on non-uniform time domains with non commuting matrices. 37-42 - Nikolaos Athanasopoulos, Raphaël M. Jungers:
On invariance and reachability on semialgebraic sets for linear dynamics. 43-48 - Nathalie Cauchi, Alessandro Abate:
Benchmarks for cyber-physical systems: A modular model library for building automation systems. 49-54 - Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer:
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. 55-60 - Ronald R. P. van Nooijen, Alla G. Kolechkina:
A controlled sewer system should be treated as a sampled data system with events. 61-66 - Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos:
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. 67-72 - Sofie Haesaert, Sadegh Soudjani, Alessandro Abate:
Temporal logic control of general Markov decision processes by approximate policy refinement. 73-78 - Henk A. P. Blom, Hao Ma, G. J. Bakker:
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System. 79-84 - Yu Wang, Nima Roohi, Matthew West, Mahesh Viswanathan, Geir E. Dullerud:
Statistical Verification of PCTL Using Stratified Samples. 85-90 - Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate:
Approximate Abstractions of Markov Chains with Interval Decision Processes. 91-96 - Hyejin Han, Ricardo G. Sanfelice:
Sufficient Conditions for Temporal Logic Specifications in Hybrid Dynamical Systems. 97-102 - Shakiba Yaghoubi, Georgios Fainekos:
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. 103-108 - Uli Fahrenberg:
Higher-Dimensional Timed Automata. 109-114 - Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey:
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. 115-120 - Bacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati:
Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales. 121-126 - Tjorben B. Gross, Stephan Trenn, Andreas Wirsen:
Switch induced instabilities for stable power system DAE models. 127-132 - Hoang-Dung Tran, Weiming Xiang, Stanley Bak, Taylor T. Johnson:
Reachability Analysis for One Dimensional Linear Parabolic Equations. 133-138 - Manish Goyal, Parasara Sridhar Duggirala:
On Generating A Variety of Unsafe Counterexamples for Linear Dynamical Systems. 139-144 - Stanley Bak:
t-Barrier Certificates: A Continuous Analogy to k-Induction. 145-150 - Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari:
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. 151-156 - Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay:
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. 157-162 - Carlos Renato Vázquez, David Gómez-Gutiérrez, Antonio Ramírez-Treviño:
Observability of Linear Hybrid Systems with unknown inputs and discrete dynamics modeled by Petri nets. 163-168 - Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto:
On approximate predictability of metric systems. 169-174 - Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong:
Input Design for Nonlinear Model Discrimination via Affine Abstraction. 175-180 - Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang:
Occupation measure methods for modelling and analysis of biological hybrid systems. 181-186 - Alina Eqtami, Antoine Girard:
Safety control, a quantitative approach. 187-192 - Benoît Legat, Paulo Tabuada, Raphaël M. Jungers:
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. 193-198 - Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo:
Data-driven Switched Affine Modeling for Model Predictive Control. 199-204 - André Marcorin de Oliveira, Vineeth S. Varma, Romain Postoyan, Irinel-Constantin Morarescu, Jamal Daafouz, Oswaldo L. V. Costa:
Network-Aware Design of State-Feedback Controllers for Linear Wireless Networked Control Systems. 205-210 - Irinel-Constantin Morarescu, Vineeth Satheeskumar Varma, Lucian Busoniu, Samson Lasaulce:
Space-time budget allocation for marketing over social networks. 211-216 - Yorai Wardi, Carla Seatzu, Magnus Egerstedt:
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. 217-222 - Xiangyu Meng, Arian Houshmand, Christos G. Cassandras:
Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion. 223-228 - Ashok Krishnan, L. P. M. I. Sampath, Yi Shyh Eddy Foo, Bhagyesh V. Patil, Hoay Beng Gooi:
Multi-Energy Scheduling Using a Hybrid Systems Approach. 229-234 - Amanda Abreu, Romain Bourdais, Hervé Guéguen:
Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems. 235-240 - Chuchu Fan, Yu Meng, Jürgen Maier, Ezio Bartocci, Sayan Mitra, Ulrich Schmid:
Verifying nonlinear analog and mixed-signal circuits with inputs. 241-246 - Kengo Kido, Sean Sedwards, Ichiro Hasuo:
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. 247-252 - Zohra Kader, Antoine Girard, Adnane Saoud:
Symbolic models for incrementally stable switched systems with aperiodic time sampling. 253-258 - Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher:
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. 259-264 - Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani:
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. 265-270 - Sofie Haesaert, Petter Nilsson, Cristian Ioan Vasile, Rohan Thakker, Ali-akbar Agha-mohammadi, Aaron D. Ames, Richard M. Murray:
Temporal Logic Control of POMDPs via Label-based Stochastic Simulation Relations. 271-276 - Sadegh Soudjani, Rupak Majumdar:
Concentration of Measure for Chance-Constrained Optimization. 277-282 - Tareq Hamadneh, Rafael Wisniewski:
Algorithm for Bernstein Polynomial Control Design. 283-289 - Ariadna Estrada, Ian M. Mitchell:
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters. 290-295 - Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot:
An Interval-based Sliding Horizon Motion Planning Method. 296-301
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-07 21:20 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
