The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "HSCC"( http://dblp.L3S.de/Venues/HSCC )

URL (DBLP): http://dblp.uni-trier.de/db/conf/hybrid

Publication years (Num. hits)
1998 (28) 1999 (24) 2000 (38) 2001 (42) 2002 (37) 2003 (39) 2004 (45) 2005 (44) 2006 (43) 2007 (87) 2008 (63) 2009 (41) 2010 (31) 2011 (37) 2012 (33) 2013 (42) 2014 (34) 2015 (46) 2016 (34) 2017 (31) 2018 (41) 2019 (42)
Publication types (Num. hits)
inproceedings(881) proceedings(21)
Venues (Conferences, Journals, ...)
HSCC(902)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 160 occurrences of 112 keywords

Results
Found 902 publication records. Showing 902 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Juraj Kolcák, Ichiro Hasuo, Jérémy Dubut, Shin-ya Katsumata, David Sprunger, Akihisa Yamada 0002 Relational differential dynamic logic: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Souradeep Dutta, Xin Chen, Sriram Sankaranarayanan Reachability analysis for neural feedback systems using regressive polynomial rule inference. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Stanley Bak, Hoang-Dung Tran, Taylor T. Johnson Numerical verification of affine systems with up to a billion dimensions. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shromona Ghosh, Somil Bansal, Alberto L. Sangiovanni-Vincentelli, Sanjit A. Seshia, Claire Tomlin A new simulation metric to determine safe environments and controllers for systems with unknown dynamics. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tobia Marcucci, Russ Tedrake Mixed-integer formulations for optimal control of piecewise-affine systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Maghenem, Ricardo G. Sanfelice Characterizations of safety in hybrid inclusions via barrier functions. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nikola Benes, Lubos Brim, Jana Drazanová, Samuel Pastva, David Safránek Facetal abstraction for non-linear dynamical systems based on δ-decidable SMT. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Necmiye Ozay, Pavithra Prabhakar (eds.) Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2019, Montreal, QC, Canada, April 16-18, 2019. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  BibTeX  RDF
1Chao Huang, Wenchao Li, Qi Zhu 0002 Formal verification of weakly-hard systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Qiuye Wang, Naijun Zhan, Martin Fränzle Robust invariant sets generation for state-constrained perturbed polynomial systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xin Qin, Jyotirmoy V. Deshmukh Predictive monitoring for signal temporal logic with probabilistic guarantees: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathalie Cauchi, Luca Laurenti, Morteza Lahijanian, Alessandro Abate, Marta Kwiatkowska, Luca Cardelli Efficiency through uncertainty: scalable formal synthesis for stochastic hybrid systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathanaël Fijalkow, Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell 0001 On the decidability of reachability in linear time-invariant systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Shakiba Yaghoubi, Georgios Fainekos Gray-box adversarial testing for control systems with machine learning components. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Goran Frehse, Amit Gurung, Dongxu Li, Georg Martius, Rajarshi Ray 0001 Falsification of hybrid systems using symbolic reachability and trajectory splicing. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Souradeep Dutta, Xin Chen, Susmit Jha, Sriram Sankaranarayanan, Ashish Tiwari Sherlock - A tool for verification of neural network feedback systems: demo abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi SReachTools: a MATLAB stochastic reachability toolbox. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mahmoud Khaled, Majid Zamani pFaces: an acceleration ecosystem for symbolic control. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Kostiantyn Potomkin, Christian Schilling JuliaReach: a toolbox for set-based reachability. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohamed Maghenem, Ricardo G. Sanfelice Poster on safety characterization in hybrid inclusions using barrier functions. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Nathalie Cauchi, Alessandro Abate StocHy - automated verification and synthesis of stochastic processes: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ian M. Mitchell, Jacob Budzis, Andriy Bolyachevets Invariant, viability and discriminating kernel under-approximation via zonotope scaling: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masaki Waga, Ichiro Hasuo Moore-machine filtering for timed and untimed pattern matching: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Abraham P. Vinod, Joseph D. Gleason, Meeko M. K. Oishi SReachTools: A MATLAB stochastic reachability toolbox: demo abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guillaume O. Berger, Raphaël M. Jungers Formal methods for computing hyperbolic invariant sets for nonlinear systems: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Zexiang Liu, Necmiye Ozay Safety control with preview automaton: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Tzanis Anevlavis, Daniel Neider, Matthew Phillipe, Paulo Tabuada Evrostos: the rLTL verifier. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Mohammad Al Khatib, Majid Zamani Verification and synthesis of interconnected embedded control systems under timing contracts. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Matthew Philippe, Raphaël M. Jungers A complete characterization of the ordering of path-complete methods. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Xiaowu Sun, Haitham Khedr, Yasser Shoukry Formal verification of neural network controlled autonomous systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Kwesi J. Rutledge, Sze Zheng Yong, Necmiye Ozay Equalized recovery: Weakening invariance for control and estimation: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Houssam Abbas, Yash Vardhan Pant, Rahul Mangharam Temporal logic robustness for general signal classes. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Eric Goubault, Sylvie Putot Inner and outer reachability for the verification of control systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Guosong Yang, João P. Hespanha, Daniel Liberzon On topological entropy and stability of switched linear systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Ruggero Lanotte, Massimo Merro, Fabio Mogavero On the decidability of linear bounded periodic cyber-physical systems. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee Verisig: verifying safety properties of hybrid systems with neural network controllers. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Masako Kishida Encrypted control system with quantizer: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Liren Yang, Necmiye Ozay Combining LTL monitoring with model invalidation for improved fault detectability analysis for hybrid systems: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Hsi-Ming Ho Revisiting timed logics with automata modalities. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Pierre-Jean Meyer, Alex Devonport, Murat Arcak TIRA: toolbox for interval reachability analysis. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anand Balakrishnan 0001, Jyotirmoy V. Deshmukh Structured reward functions using STL: poster abstract. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Thomas Ferrère, Dejan Nickovic, Alexandre Donzé, Hisahiro Ito, James Kapinski Interface-aware signal temporal logic. Search on Bibsonomy HSCC The full citation details ... 2019 DBLP  DOI  BibTeX  RDF
1Anton V. Proskurnikov, Manuel Mazo Jr. Lyapunov Design for Event-Triggered Exponential Stabilization. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Miriam Garcia Soto, Pavithra Prabhakar Averist: Algorithmic Verifier for Stability of Linear Hybrid Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Dogan Ulus, Oded Maler Specifying Timed Patterns using Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Daniel Gburek, Christel Baier Bisimulations, logics, and trace distributions for stochastic systems with rewards. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Vladimir Sinyakov, Antoine Girard Formal Controller Synthesis from Hybrid Programs. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nicole Chan, Sayan Mitra CODEV: Automated Model Predictive Control Design and Formal Verification. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maximilian Gaukler, Andreas Michalka, Peter Ulbrich, Tobias Klaus A New Perspective on Quality Evaluation for Control Systems with Stochastic Timing. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Li Jin, Mladen Cicic, Saurabh Amin, Karl Henrik Johansson Modeling the Impact of Vehicle Platooning on Highway Congestion: A Fluid Queuing Approach. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Fabio Somenzi, Behrouz Touri, Ashutosh Trivedi 0001 Global Almost-Sure Reachability in Stochastic Constant-Rate Multi-Mode Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yinan Li, Jun Liu 0015 ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani Compositional Synthesis of Interconnected Stochastic Control Systems based on Finite MDPs. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Ezio Bartocci, Thomas Ferrère, Niveditha Manjunath, Dejan Nickovic Localizing Faults in Simulink/Stateflow Models with STL. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eric S. Kim, Murat Arcak, Majid Zamani Constructing Control System Abstractions from Modular Components. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Lennon C. Chaves, Iury Bessa, Lucas C. Cordeiro, Daniel Kroening DSValidator: An Automated Counterexample Reproducibility Tool for Digital Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Adnane Saoud, Antoine Girard, Laurent Fribourg Contract based Design of Symbolic Controllers for Vehicle Platooning. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Atreyee Kundu Stabilizing switched nonlinear systems under restricted switching. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abraham P. Vinod, Meeko M. K. Oishi Scalable Underapproximative Verification of Stochastic LTI Systems using Convexity and Compactness. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Kyle Hsu, Rupak Majumdar, Kaushik Mallik, Anne-Kathrin Schmuck Multi-Layered Abstraction-Based Controller Synthesis for Continuous-Time Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Benjamin Martin 0003, Olivier Mullier Improving validated computation of Viability Kernels. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Maria Prandini, Jyotirmoy V. Deshmukh (eds.) Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC 2018, Porto, Portugal, April 11-13, 2018 Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Alexey Bakhirkin, Thomas Ferrère, Oded Maler Efficient Parametric Identification for STL. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sergiy Bogomolov, Marcelo Forets, Goran Frehse, Frédéric Viry, Andreas Podelski, Christian Schilling Reach Set Approximation through Decomposition with Low-dimensional Sets and High-dimensional Matrices. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bolun Qi, Chuchu Fan, Minghao Jiang, Sayan Mitra DryVR 2.0: A tool for verification and controller synthesis of black-box cyber-physical systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang Graphical Modeling of Hybrid Dynamics with Simulink and Stateflow. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Jie An, Naijun Zhan, Xiaoshan Li, Miaomiao Zhang, Wang Yi 0001 Model Checking Bounded Continuous-time Extended Linear Duration Invariants. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Neda Saeedloei, Feliks Kluzniak Clock Allocation in Timed Automata and Graph Colouring. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Yinan Li, Jun Liu 0015 ROCS: A Robustly Complete Control Synthesis Tool for Nonlinear Dynamical Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Cumhur Erkan Tuncali, Georgios E. Fainekos, Hisahiro Ito, James Kapinski Sim-ATAV: Simulation-Based Adversarial Testing Framework for Autonomous Vehicles. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Matthias Rungger, Majid Zamani Accurate reachability analysis of uncertain nonlinear systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Michele Boreale Algorithms for exact and approximate linear abstractions of polynomial continuous systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abdalla Swikir, Antoine Girard, Majid Zamani Compositional Synthesis of Finite Abstractions for Networks of Systems: A Dissipativity Approach. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Sadra Sadraddini, Calin Belta Formal Guarantees in Data-Driven Model Identification and Control Synthesis. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Eric S. Kim, Murat Arcak, Mahmoud Khaled, Majid Zamani Major Computational Breakthroughs in the Synthesis of Symbolic Controllers via Decomposed Algorithms. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Bai Xue 0001, Martin Fränzle, Naijun Zhan Under-Approximating Reach Sets for Polynomial Continuous Systems. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Abolfazl Lavaei, Sadegh Soudjani, Majid Zamani From Dissipativity Theory to Compositional Construction of Finite Markov Decision Processes. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hussein Sibai, Sayan Mitra State Estimation of Dynamical Systems with Unknown Inputs: Entropy and Bit Rates. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee Parameter Invariant Monitoring for Signal Temporal Logic. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Pier Giuseppe Sessa, Damian Frick, Tony A. Wood, Maryam Kamgarpour From Uncertainty Data to Robust Policies for Temporal Logic Planning. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Antoine Girard Compositional Synthesis for Symbolic Control. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Akshay Rajhans, Srinath Avadhanula, Alongkrit Chutinan, Pieter J. Mosterman, Fu Zhang Graphical Hybrid Automata with Simulink and Stateflow. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1Hussein Sibai, Sayan Mitra Recent Results in State Estimation of Dynamical Systems with Inputs under Bandwidth Constraints. Search on Bibsonomy HSCC The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
1David Angeli, Nikolaos Athanasopoulos, Raphaël M. Jungers, Matthew Philippe Path-Complete Graphs and Common Lyapunov Functions. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Hui Kong, Sergiy Bogomolov, Christian Schilling, Yu Jiang 0001, Thomas A. Henzinger Safety Verification of Nonlinear Hybrid Systems Based on Invariant Clusters. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Russ Tedrake Convex and Combinatorial Optimization for Dynamic Robots in the Real World. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Jun Liu Robust Abstractions for Control Synthesis: Completeness via Robustness for Linear-Time Properties. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Matthias Rungger, Majid Zamani Invariance Feedback Entropy of Nondeterministic Control Systems. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Mohammad Al Khatib, Antoine Girard, Thao Dang Scheduling of Embedded Controllers Under Timing Contracts. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Joël Ouaknine, João Sousa Pinto, James Worrell 0001 On the Polytope Escape Problem for Continuous Linear Dynamical Systems. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Luca Laurenti, Alessandro Abate, Luca Bortolussi, Luca Cardelli, Milan Ceska 0001, Marta Z. Kwiatkowska Reachability Computation for Switching Diffusions: Finite Abstractions with Certifiable and Tuneable Precision. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Dominicus P. Borgers, Victor S. Dolk, W. P. M. H. Heemels Dynamic Periodic Event-Triggered Control for Linear Systems. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Sadegh Esmaeil Zadeh Soudjani, Rupak Majumdar Controller Synthesis for Reward Collecting Markov Processes in Continuous Space. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Wen-Loong Ma, Shishir Kolathaya, Eric R. Ambrose, Christian M. Hubicki, Aaron D. Ames Bipedal Robotic Running with DURUS-2D: Bridging the Gap between Theory and Experiment. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eric S. Kim, Murat Arcak, Sanjit A. Seshia A Small Gain Theorem for Parametric Assume-Guarantee Contracts. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Abraham P. Vinod, Baisravan HomChaudhuri, Meeko M. K. Oishi Forward Stochastic Reachability Analysis for Uncontrolled Linear Systems using Fourier Transforms. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Eric Goubault, Sylvie Putot Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Petter Nilsson, Necmiye Ozay On a Class of Maximal Invariance Inducing Control Strategies for Large Collections of Switched Systems. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Andrew M. Pace, Samuel A. Burden Piecewise - Differentiable Trajectory Outcomes in Mechanical Systems Subject to Unilateral Constraints. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
1Alessandro Abate, Iury Bessa, Dario Cattaruzza, Lucas C. Cordeiro, Cristina David, Pascal Kesseli, Daniel Kroening Sound and Automated Synthesis of Digital Stabilizing Controllers for Continuous Plants. Search on Bibsonomy HSCC The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 902 (100 per page; Change: )
Pages: [1][2][3][4][5][6][7][8][9][10][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license