| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Taylor J. Carpenter, Radoslav Ivanov, Insup Lee 0001, James Weimer |
ModelGuard: Runtime Validation of Lipschitz-continuous Models.  |
ADHS  |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Philipp Braun, Luca Zaccarian |
Augmented obstacle avoidance controller design for mobile robots. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Mathias Serieye, Carolina Albea, Alexandre Seuret, Marc Jungers |
Synchronization on a limit cycle of multi-agent systems governed by discrete-time switched affine dynamics. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicola Zaupa, Luis Martínez-Salamero, Carlos Olalla, Luca Zaccarian |
Results on hybrid control of self-oscillating resonant converters. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawher Jerray, Laurent Fribourg |
Determination of limit cycles using stroboscopic set-valued maps. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Lucas N. Egidio, Anders Hansson |
On the Search for Equilibrium Points of Switched Affine Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ryan S. Johnson, Berk Altin, Ricardo G. Sanfelice |
Hybrid Adaptive Control for the DC-DC Boost Converter. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Martijn A. Goorden, Kim G. Larsen, Jesper E. Nielsen, Thomas D. Nielsen, Michael R. Rasmussen, Jirí Srba |
Learning Safe and Optimal Control Strategies for Storm Water Detention Ponds. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnane Saoud, Ricardo G. Sanfelice |
Computation of Controlled Invariants for Nonlinear Systems: Application to Safe Neural Networks Approximation and Control. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Eric Goubault, Sylvie Putot |
Tractable higher-order under-approximating AE extensions for non-linear systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yahao Chen, Stephan Trenn |
An approximation for nonlinear differential-algebraic equations via singular perturbation theory. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Clotilde Djuikem, Agustín Gabriel Yabo, Frédéric Grognard, Suzanne Touzeau |
Mathematical modelling and optimal control of the seasonal coffee leaf rust propagation. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yinan Li 0001, Zhibing Sun, Jun Liu 0015 |
ROCS 2.0: An Integrated Temporal Logic Control Synthesis Tool for Nonlinear Dynamical Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Luca Bortolussi, Francesca Cairoli, Ginevra Carbone, Francesco Franchina, Enrico Regolin |
Adversarial Learning of Robust and Safe Controllers for Cyber-Physical Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Miel Sharf, Bart Besselink, Adam Molin, Qiming Zhao, Karl Henrik Johansson |
Assume/Guarantee Contracts for Dynamical Systems: Theory and Computational Tools. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nicolas Augier, Agustín Gabriel Yabo |
Time-optimal control of piecewise affine bistable gene-regulatory networks: preliminary results. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Virginie Debauche, Matteo Della Rossa, Raphaël M. Jungers |
Template-Dependent Lifts for Path-Complete Stability Criteria and Application to Positive Switching Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anas Makdesi, Antoine Girard, Laurent Fribourg |
Efficient Data-Driven Abstraction of Monotone Systems with Disturbances. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Xinyong Wang, Ying Tang 0006, Christophe Fiter, Laurentiu Hetel |
A Hybrid System Approach to Exponential Stability with Sampled-data Control for a Class of Linear Hyperbolic Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pavithra Prabhakar, Jun Liu 0015 |
Simulation Relations for Abstraction-based Robust Control of Hybrid Dynamical Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck, Sadegh Soudjani |
Symbolic Qualitative Control for Stochastic Systems via Finite Parity Games. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | D. van Dinther, Bardia Sharif, S. J. A. M. van den Eijnden, Henk Nijmeijer, Marcel François Heertjes, W. P. M. H. Heemels |
Overcoming Performance Limitations of Linear Control with Hybrid Integrator-Gain Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Legat, Raphaël M. Jungers |
Geometric control of algebraic systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Westenbroek, Xiaobin Xiong, S. Shankar Sastry, Aaron D. Ames |
Smooth Approximations for Hybrid Optimal Control Problems with Application to Robotic Walking. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Guillaume O. Berger, Maben Rabi |
Bounds on set exit times of affine systems, using Linear Matrix Inequalities. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Jawher Jerray, Laurent Fribourg, Étienne André |
An Approximation of Minimax Control using Random Sampling and Symbolic Computation. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Atreyee Kundu |
Yet another matrix commutator condition for stabilizability of discrete-time switched linear systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor Gaßmann, Matthias Althoff |
Verified Polynomial Controller Synthesis for Disturbed Nonlinear Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Zexiang Liu, Necmiye Ozay |
Safe Online Planning in Unknown Nonconvex Environments with Implicit Controlled Invariant Sets. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Kristina Miller, Chuchu Fan, Sayan Mitra |
Planning in Dynamic and Partially Unknown Environments. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ahmad Madary, Hamid Reza Momeni, Alessandro Abate, Kim G. Larsen |
A Bayesian Framework for Large-Scale Identification of Nonlinear Hybrid Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ilker Isik, Onur Yigit Arpali, Ebru Aydin Gol |
Optimal Policy Synthesis from A Sequence of Goal Sets with An Application to Electric Distribution System Restoration. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Anne Rubbens, Zheming Wang, Raphaël M. Jungers |
Data-driven stability analysis of switched linear systems with Sum of Squares guarantees. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Raphaël M. Jungers, Necmiye Ozay, Alessandro Abate (eds.) |
7th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2021, Brussels, Belgium, July 7-9, 2021 |
ADHS |
2021 |
DBLP BibTeX RDF |
|
| 1 | Ezio Bartocci, Roderick Bloem, Benedikt Maderbacher, Niveditha Manjunath, Dejan Nickovic |
Adaptive Testing for Specification Coverage in CPS Models. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Riccardo Bertollo, Michael Schwegel, Andreas Kugi, Luca Zaccarian |
Reset-control-based current tracking for a solenoid with unknown parameters. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Tyler Westenbroek, Ayush Agrawal, Fernando Castañeda, S. Shankar Sastry, Koushil Sreenath |
Combining Model-Based Design and Model-Free Policy Optimization to Learn Safe, Stabilizing Controllers. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ameneh Nejati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-Driven Estimation of Infinitesimal Generators of Stochastic Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexander Robey, Lars Lindemann, Stephen Tu, Nikolai Matni |
Learning Robust Hybrid Control Barrier Functions for Uncertain Systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak, Sergiy Bogomolov, Parasara Sridhar Duggirala, Adam R. Gerlach, Kostiantyn Potomkin |
Reachability of Black-Box Nonlinear Systems after Koopman Operator Linearization. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
A hybrid control framework for an optimal visiting problem. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Sota Sato 0001, Masaki Waga, Ichiro Hasuo |
Constrained Optimization for Hybrid System Falsification and Application to Conjunctive Synthesis. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Pouria Tajvar, Pierre-Jean Meyer, Jana Tumova |
Closed-loop incremental stability for efficient symbolic control of non-linear systems. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Liren Yang, Necmiye Ozay |
Safety Control Synthesis for Systems with Missing Measurements. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Wael Fatnassi, Yasser Shoukry |
PolyAR: A Highly Parallelizable Solver For Polynomial Inequality Constraints Using Convex Abstraction Refinement. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Yong Kiam Tan, André Platzer |
Switched Systems as Hybrid Programs. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Vittorio De Iuliis, Francesco Smarra, Costanzo Manes, Alessandro D'Innocenzo |
On the Stability of Switched ARX Models, with an Application to Learning via Regression Trees. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Ali Salamati, Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Data-Driven Safety Verification of Stochastic Systems via Barrier Certificates. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Fabio Bagagiolo, Adriano Festa, Luciano Marzufero |
The orienteering problem: a hybrid control formulation. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Louis Massucci, Fabien Lauer, Marion Gilson |
Regularized Switched System Identification: a Statistical Learning Perspective. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Syed M. Hassaan, Tarun Pati, Qiang Shen 0003, Sze Zheng Yong |
Time-Varying Tube-Based Output Feedback MPC for Constrained Linear Systems with Intermittently Delayed Data. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Elena Ivanova, Antoine Girard |
Lazy Symbolic Controller for Continuous-Time Systems Based on Safe Set Boundary Exploration. |
ADHS |
2021 |
DBLP DOI BibTeX RDF |
|
| 1 | Nathalie Cauchi, Alessandro Abate |
Benchmarks for cyber-physical systems: A modular model library for building automation systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Luan Viet Nguyen, Bardh Hoxha, Taylor T. Johnson, Georgios Fainekos |
Mission Planning for Multiple Vehicles with Temporal Specifications using UxAS. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Shakiba Yaghoubi, Georgios Fainekos |
Falsification of Temporal Logic Requirements Using Gradient Based Local Search in Space and Time. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Nikolaos Athanasopoulos, Raphaël M. Jungers |
On invariance and reachability on semialgebraic sets for linear dynamics. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adrien Le Coënt, Laurent Fribourg, Jonathan Vacher |
Control Synthesis for Stochastic Switched Systems using the Tamed Euler Method. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kengo Kido, Sean Sedwards, Ichiro Hasuo |
Bounding Errors Due to Switching Delays in Incrementally Stable Switched Systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Francesco Smarra, Achin Jain, Rahul Mangharam, Alessandro D'Innocenzo |
Data-driven Switched Affine Modeling for Model Predictive Control. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Zohra Kader, Antoine Girard, Adnane Saoud |
Symbolic models for incrementally stable switched systems with aperiodic time sampling. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sofie Haesaert, Sadegh Soudjani, Alessandro Abate |
Temporal logic control of general Markov decision processes by approximate policy refinement. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Adnane Saoud, Pushpak Jagtap, Majid Zamani 0001, Antoine Girard |
Compositional Abstraction-based Synthesis for Cascade Discrete-Time Control Systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Hoang-Dung Tran, Weiming Xiang 0001, Stanley Bak, Taylor T. Johnson |
Reachability Analysis for One Dimensional Linear Parabolic Equations. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Rose Bohrer, Adriel Luo, Xue An Chuang, André Platzer |
CoasterX: A Case Study in Component-Driven Hybrid Systems Proof Automation. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Souradeep Dutta, Susmit Jha, Sriram Sankaranarayanan 0001, Ashish Tiwari 0001 |
Learning and Verification of Feedback Control Systems using Feedforward Neural Networks. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani 0001 |
Compositional Synthesis of Finite Abstractions for Continuous-Space Stochastic Control Systems: A Small-Gain Approach. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marcell Vazquez-Chanlatte, Shromona Ghosh, Vasumathi Raman, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia |
Generating Dominant Strategies for Continuous Two-Player Zero-Sum Games. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ariadna Estrada, Ian M. Mitchell |
Control Synthesis and Classification for Unicycle Dynamics using the Gradient and Value Sampling Particle Filters. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Julien Alexandre Dit Sandretto, Elliot Brendel, Alexandre Chapoutot |
An Interval-based Sliding Horizon Motion Planning Method. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Benoît Legat, Paulo Tabuada, Raphaël M. Jungers |
Computing controlled invariant sets for hybrid systems with applications to model-predictive control. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Bacem Ben Nasser, Michael Defoort, Mohamed Djemai, Taous-Meriem Laleg-Kirati |
Razumikhin-type Theorems on Practical Stability of Dynamic Equations on Time Scales. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Sadegh Soudjani, Rupak Majumdar |
Concentration of Measure for Chance-Constrained Optimization. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Irinel-Constantin Morarescu, Vineeth Satheeskumar Varma, Lucian Busoniu, Samson Lasaulce |
Space-time budget allocation for marketing over social networks. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yuriy Zacchia Lun, Jack Wheatley, Alessandro D'Innocenzo, Alessandro Abate |
Approximate Abstractions of Markov Chains with Interval Decision Processes. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Henk A. P. Blom, Hao Ma, G. J. Bakker |
Interacting Particle System-based Estimation of Reach Probability for a Generalized Stochastic Hybrid System. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Stanley Bak |
t-Barrier Certificates: A Continuous Analogy to k-Induction. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Murat Cubuktepe, Mohamadreza Ahmadi, Ufuk Topcu, Brandon Hencey |
Compositional Analysis of Hybrid Systems Defined Over Finite Alphabets. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kanishka Raj Singh, Yuhao Ding, Necmiye Ozay, Sze Zheng Yong |
Input Design for Nonlinear Model Discrimination via Affine Abstraction. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ivan S. Zapreev, Cees Verdier, Manuel Mazo Jr. |
Optimal Symbolic Controllers Determinization for BDD storage. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Victor S. Dolk, Menno Lauret, Duarte J. Antunes, Patrick D. Anderson 0001, W. P. M. H. Heemels |
A switched system approach to optimize mixing of fluids. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Xiangyu Meng 0001, Arian Houshmand, Christos G. Cassandras |
Hybrid System Modeling of Multi-Agent Coverage Problems with Energy Depletion and Repletion. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alessandro Abate, Antoine Girard, Maurice Heemels (eds.) |
6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018 |
ADHS |
2018 |
DBLP BibTeX RDF |
|
| 1 | Tareq Hamadneh, Rafael Wisniewski |
Algorithm for Bernstein Polynomial Control Design. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | 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. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Gabriella Fiore, Elena De Santis, Giordano Pola, Maria Domenica Di Benedetto |
On approximate predictability of metric systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alexandre Rocca, Marcelo Forets, Victor Magron, Eric Fanchon, Thao Dang 0001 |
Occupation measure methods for modelling and analysis of biological hybrid systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yorai Wardi, Carla Seatzu, Magnus Egerstedt |
Tracking Control via Variable-gain Integrator and Lookahead Simulation: Application to Leader-follower Multiagent Networks. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Amanda Abreu, Romain Bourdais, Hervé Guéguen |
Hierarchical Model Predictive Control for Building Energy Management of Hybrid Systems. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Marc Jungers, Antoine Girard, Mirko Fiacchini |
Language constrained stabilization of discrete-time switched linear systems: an LMI approach. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Chuchu Fan, Yu Meng 0001, Jürgen Maier 0002, Ezio Bartocci, Sayan Mitra, Ulrich Schmid 0001 |
Verifying nonlinear analog and mixed-signal circuits with inputs. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Yu Wang 0044, Nima Roohi, Matthew West 0001, Mahesh Viswanathan 0001, Geir E. Dullerud |
Statistical Verification of PCTL Using Stratified Samples. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Alina Eqtami, Antoine Girard |
Safety control, a quantitative approach. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Tjorben B. Gross, Stephan Trenn, Andreas Wirsen |
Switch induced instabilities for stable power system DAE models. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay |
Optimization-Based Design of Bounded-Error Estimators Robust to Missing Data. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Ronald R. P. van Nooijen, Alla G. Kolechkina |
A controlled sewer system should be treated as a sampled data system with events. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
| 1 | Oscar Lindvall Bulancea, Petter Nilsson, Necmiye Ozay |
Nonuniform abstractions, refinement and controller synthesis with novel BDD encodings. |
ADHS |
2018 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license