Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID13. HSCC 2010: Stockholm, Sweden
- Karl Henrik Johansson, Wang Yi:
Proceedings of the 13th ACM International Conference on Hybrid Systems: Computation and Control, HSCC 2010, Stockholm, Sweden, April 12-15, 2010. ACM 2010, ISBN 978-1-60558-955-8
Compositionality and abstraction
- P. S. Thiagarajan, Shaofa Yang:
Succinct discrete time approximations of distributed hybrid automata. 1-10 - Thao Dang, Oded Maler, Romain Testylier:
Accurate hybridization of nonlinear systems. 11-20 - Florian Kerber
, Arjan van der Schaft:
Compositional analysis for linear control systems. 21-30
Hybrid control systems
- Joris Sijs, Mircea Lazar, W. P. M. H. Heemels:
On integration of event-based estimation and robust MPC in a feedback loop. 31-40 - Kerstin Bauer, Klaus Schneider:
From synchronous programs to symbolic representations of hybrid systems. 41-50 - Humberto González, Ramanarayan Vasudevan, Maryam Kamgarpour, S. Shankar Sastry, Ruzena Bajcsy, Claire J. Tomlin:
A descent algorithm for the optimal control of constrained nonlinear switched dynamical systems. 51-60
Resource and scheduling
- Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey:
Timed automata with observers under energy constraints. 61-70 - Prapaporn Rattanatamrong, José A. B. Fortes:
Real-time scheduling of mixture-of-experts systems with limited resources. 71-80 - Vijay Gupta:
On a control algorithm for time-varying processor availability. 81-90
Specification and control
- Alexandre David, Kim G. Larsen, Axel Legay, Ulrik Nyman, Andrzej Wasowski:
Timed I/O automata: a complete specification theory for real-time systems. 91-100 - Tichakorn Wongpiromsarn, Ufuk Topcu, Richard M. Murray:
Receding horizon control for temporal logic specifications. 101-110 - Antoine Girard:
Synthesis using approximately bisimilar abstractions: state-feedback controllers for safety specifications. 111-120
Identification and control
- Kenji Kashima, Yasuyuki Kawamura, Jun-ichi Imura:
Oscillation analysis of linearly coupled piecewise affine systems. 121-130 - Mircea Lazar, Andrej Jokic:
On infinity norms as Lyapunov functions for piecewise affine systems. 131-140 - Mihály Petreczky, Laurent Bako, Jan H. van Schuppen:
Identifiability of discrete-time linear switched systems. 141-150
Applications
- Eric D. B. Wendel, Aaron D. Ames:
Rank properties of poincare maps for hybrid systems with applications to bipedal walking. 151-160 - Saurabh Amin, Xavier Litrico, Shankar Sastry, Alexandre M. Bayen:
Stealthy deception attacks on water SCADA systems. 161-170 - Branko Kerkez, Steven D. Glaser, John A. Dracup, Roger C. Bales:
A hybrid system model of seasonal snowpack water balance. 171-180
Network and control
- W. P. M. H. Heemels, Nathan van de Wouw, Rob H. Gielen, M. C. F. Donkers, Laurentiu Hetel, Sorin Olaru, Mircea Lazar, Jamal Daafouz, Silviu-Iulian Niculescu:
Comparison of overapproximation methods for stability analysis of networked control systems. 181-190 - Anne-Kathrin Hess, Anders Rantzer:
Distributed Kalman Filter algorithms for self-localization of mobile devices. 191-200 - Punyaslok Purkayastha, John S. Baras:
Convergence results for ant routing algorithms viastochastic approximation. 201-210
Modelling and analysis
- Truong Nghiem, Sriram Sankaranarayanan, Georgios Fainekos, Franjo Ivancic, Aarti Gupta, George J. Pappas:
Monte-carlo techniques for falsification of temporal properties of non-linear hybrid systems. 211-220 - Sriram Sankaranarayanan:
Automatic invariant generation for hybrid systems using ideal fixed points. 221-230 - Azer Bestavros, Assaf J. Kfoury, Andrei Lapets, Michael J. Ocean:
Safe compositional network sketches: formal framework. 231-241
Verification of stochastic systems
- Paolo Zuliani, André Platzer, Edmund M. Clarke:
Bayesian statistical model checking with application to Simulink/Stateflow verification. 243-252 - Federico Ramponi, Debasish Chatterjee, Sean Summers, John Lygeros:
On the connections between PCTL and dynamic programming. 253-262 - Konstantinos Koutroumpas, John Lygeros:
Modeling and verification of stochastic hybrid systems using HIOA: a case study on DNA replication. 263-272
Switched linear systems
- Jianghai Hu, Jinglai Shen, Wei Zhang:
A generating function approach to the stability of discrete-time switched linear systems. 273-282 - Andrew B. Godbehere, S. Shankar Sastry:
Stabilization of planar switched linear systems using polar coordinates. 283-292 - Oded Maler:
Amir Pnueli and the dawn of hybrid systems. 293-295
a service of 
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-04-22 21:08 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:
