| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A design method for hybrid event-based control systems
|
Noesselt, Tobias
|
|
2015
|
48 |
27 |
p. 135-140
6 p.
|
artikel
|
| 2 |
A Hybrid-Dynamical Model for Passenger-flow in Transportation Systems * * This research work has been carried out under the leadership of the Technological Research Institute SystemX, and therefore granted with public funds within the scope of the French Program “Investissements d'Avenir”.
|
Haar, Stefan
|
|
2015
|
48 |
27 |
p. 236-241
6 p.
|
artikel
|
| 3 |
A hybrid systems approach to global synchronization and coordination of multi-agent sampled-data systems * * Research supported in part by NSF grant number ECCS-1232035 and AFOSR grant number FA9550-15-1-0155.
|
Teel, Andrew R.
|
|
2015
|
48 |
27 |
p. 123-128
6 p.
|
artikel
|
| 4 |
A Mori-Zwanzig and MITL Based Approach to Statistical Verification of Continuous-time Dynamical Systems * * The authors acknowledge support for this work from NSF CPS grant 1329991.
|
Wang, Yu
|
|
2015
|
48 |
27 |
p. 267-273
7 p.
|
artikel
|
| 5 |
An Intraoperative Glucose Control Benchmark for Formal Verification
|
Chen, Sanjian
|
|
2015
|
48 |
27 |
p. 211-217
7 p.
|
artikel
|
| 6 |
A Study on Solving Guard and Invariant Set Intersection in Zonotope-based Reachability of Linear Hybrid Systems
|
Makhlouf, Ibtissem Ben
|
|
2015
|
48 |
27 |
p. 13-20
8 p.
|
artikel
|
| 7 |
A switched ramp-metering controller for freeway traffic systems
|
Ferrara, Antonella
|
|
2015
|
48 |
27 |
p. 105-110
6 p.
|
artikel
|
| 8 |
Bifurcations in Timed Continuous Petri Nets
|
Navarro-Gutiérrez, Manuel
|
|
2015
|
48 |
27 |
p. 33-40
8 p.
|
artikel
|
| 9 |
Cause versus Effect in Hybrid Systems: A Rigorous Non-standard Analysis Approach
|
Hyun, Nak-seung Patrick
|
|
2015
|
48 |
27 |
p. 129-134
6 p.
|
artikel
|
| 10 |
Combined Top-down and Bottom-up Approach to Cooperative Distributed Multi-agent Control with Connectivity Constraints * * The _nancial supports from NSF-CNS-1239222, NSF-EECS-1253488 and NSF-CNS-1446288 are highly appreciated.
|
Wu, Bo
|
|
2015
|
48 |
27 |
p. 224-229
6 p.
|
artikel
|
| 11 |
Computing finite abstractions with robustness margins via local reachable set over-approximation * * This work is supported, in part, by EU FP7 Grant PCIG13-GA-2013-61737 and NSF grant CNS-1446298.
|
Li, Yinan
|
|
2015
|
48 |
27 |
p. 1-6
6 p.
|
artikel
|
| 12 |
Congestion management in traffic-light intersections via Infinitesimal Perturbation Analysis * * Research supported in part by the NSF under Grant CNS-1239225.
|
Seatzu, Carla
|
|
2015
|
48 |
27 |
p. 117-122
6 p.
|
artikel
|
| 13 |
Contents
|
|
|
2015
|
48 |
27 |
p. i-vi
nvt p.
|
artikel
|
| 14 |
Control Barrier Certificates for Safe Swarm Behavior
|
Borrmann, Urs
|
|
2015
|
48 |
27 |
p. 68-73
6 p.
|
artikel
|
| 15 |
Control Design of Elementary Hybrid Petri Nets via Model Predictive Control
|
Taleb, M.
|
|
2015
|
48 |
27 |
p. 41-46
6 p.
|
artikel
|
| 16 |
Controllability of linear systems subject to packet losses * * Raphael is supported by the Communaut_e francaise de Belgique - Actions de Recherche Concert_ees, and by the Belgian Programme on Interuniversity Attraction Poles and by the ‘Actions de Recherches Concert_ees’ Programme. He is a F.R.S.-FNRS Research Associate. Maurice is supported by the Innovational Research Incentives Scheme under the VICI grant “Wireless control systems: A new frontier in automation” (no. 11382) awarded by NWO (Netherlands Organisation for Scienti_c Research), and STW (Dutch Science Foundation), and the STW project 12697 “Control based on data-intensive sensing.”
|
Jungers, Raphaël M.
|
|
2015
|
48 |
27 |
p. 80-85
6 p.
|
artikel
|
| 17 |
Controller Synthesis for Mode-Target Games
|
Balkan, Ayca
|
|
2015
|
48 |
27 |
p. 343-350
8 p.
|
artikel
|
| 18 |
Controller Synthesis for Probabilistic Safety Specifications using Observers * * This work is supported in part by the European Commission IAPP project AMBI 324432, and by the John Fell Oxford University Press(OUP) Research Fund.
|
Lesser, Kendra
|
|
2015
|
48 |
27 |
p. 329-334
6 p.
|
artikel
|
| 19 |
Detection of manual tracking submovements in Parkinson's disease through hybrid optimization
|
Gonzalez, Carlos
|
|
2015
|
48 |
27 |
p. 291-297
7 p.
|
artikel
|
| 20 |
Distributed Task Assignment Based on Gossip with Guaranteed Performance on Heterogeneous Networks * * The research leading to these results has received funding from Region Sardinia, LR 7/2007 (call 2010) under project SIAR (CRP24709) and from Italian grant SIR “Scienti_c Independence of young Researchers”, project CoNetDomeSys, code RBSI14OF6H, funded by the Italian Ministry of Research and Education (MIUR).
|
Franceschelli, Mauro
|
|
2015
|
48 |
27 |
p. 218-223
6 p.
|
artikel
|
| 21 |
Estimation of the fault occurrence dates in DESs with partially observed stochastic Petri nets
|
Ammour, R.
|
|
2015
|
48 |
27 |
p. 254-259
6 p.
|
artikel
|
| 22 |
Eventual Generic Observability in Linear Hybrid Systems with discrete dynamic modeled by Petri nets * * This work was supported by program Conacyt SNI.
|
Vázquez, C. Renato
|
|
2015
|
48 |
27 |
p. 47-53
7 p.
|
artikel
|
| 23 |
Hierarchical Hybrid Control with Classical Planning and Trajectory Optimization
|
Cowlagi, Raghvendra V.
|
|
2015
|
48 |
27 |
p. 175-180
6 p.
|
artikel
|
| 24 |
Hybrid Feedback Control Methods for Robust and Global Power Conversion * * This research has been partially supported by the National Science Foundation under CAREER Grant no. ECS-1450484 and by the Air Force Office of Scientific Research under YIP Grant no. FA9550-12-1-0366.
|
Chai, Jun
|
|
2015
|
48 |
27 |
p. 298-303
6 p.
|
artikel
|
| 25 |
In-Block Controllability of Controlled Switched Linear Systems on Polytopes * * Work supported by NSERC and the Automotive Partnership Canada (APC)
|
Helwa, Mohamed K.
|
|
2015
|
48 |
27 |
p. 7-12
6 p.
|
artikel
|
| 26 |
Infinitesimal Perturbation Analysis for Personalized Cancer Therapy Design * * The authors’ work is supported in part by NSF under Grants CNS1239021 and IIP-1430145, by AFOSR under grant FA9550-12-1-0113,and by ONR under grant N00014-09-1-1051.
|
Fleck, Julia L.
|
|
2015
|
48 |
27 |
p. 205-210
6 p.
|
artikel
|
| 27 |
Invariant-based Supervisory Control of Switched Discrete Event Systems * * S. Reveliotis was partially supported by NSF grant ECCS-1405156.
|
Reveliotis, Spyros
|
|
2015
|
48 |
27 |
p. 86-92
7 p.
|
artikel
|
| 28 |
Iterative Robust Stabilization Algorithm for Periodic Orbits of Hybrid Dynamical Systems: Application to Bipedal Running * * The work of K. Akbari Hamed was partially supported by the Center for Sensorimotor Neural Engineering (CSNE) that is an NSF Engineering Research Center. The work of J. W. Grizzle was supported by NSF Grants ECCS-1343720 and ECCS-1231171.
|
Hamed, Kaveh Akbari
|
|
2015
|
48 |
27 |
p. 161-168
8 p.
|
artikel
|
| 29 |
Modeling and Optimization of Hybrid Systems * * This work was carried out within the Wingquist Laboratory VINN Excellence Centre within the Area of Advance - Production at Chalmers, and supported by VINNOVA and the Swedish Science Foundation. The support is gratefully acknowledged.
|
Lennartson, Bengt
|
|
2015
|
48 |
27 |
p. 351-357
7 p.
|
artikel
|
| 30 |
Model Invalidation for Switched Affine Systems with Applications to Fault and Anomaly Detection * * This work is supported in part by DARPA grant N66001-14-1-4045.
|
Harirchi, Farshad
|
|
2015
|
48 |
27 |
p. 260-266
7 p.
|
artikel
|
| 31 |
Multiple Shooting Technique for Optimal Control Problems with Application to Power Aware Networks * * Research supported in part by NSF under Grant CNS-1239225.
|
Ali, Usman
|
|
2015
|
48 |
27 |
p. 286-290
5 p.
|
artikel
|
| 32 |
Nonlinear Systems Evolving with State Suprema as Multi-Mode Multi-Dimensional (M 3D) Systems: Analysis & Observation
|
Ahmed, Aftab
|
|
2015
|
48 |
27 |
p. 242-247
6 p.
|
artikel
|
| 33 |
Observability and Observer Design of Partially Observed Petri Nets
|
Arichi, F.
|
|
2015
|
48 |
27 |
p. 27-32
6 p.
|
artikel
|
| 34 |
Observer-based Similarity Output Feedback Control of Cyber-Physical Systems * * This work was supported by JSPS KAKENHI No. 15K14007.
|
Mizoguchi, Masashi
|
|
2015
|
48 |
27 |
p. 248-253
6 p.
|
artikel
|
| 35 |
On Robust Stability of Limit Cycles for Hybrid Systems With Multiple Jumps * * Research by X. Lou has been supported by National Natural Science Foundation of China (61473136). Research by Y. Li and R. G. Sanfelice has been partially supported by NSF Grant no. ECCS1450484 and by AFOSR YIP Grant no. FA9550-12-1-0366.
|
Lou, Xuyang
|
|
2015
|
48 |
27 |
p. 199-204
6 p.
|
artikel
|
| 36 |
On the Projected Gradient Methods for Switched - Mode Systems Optimization
|
Azhmyakov, V.
|
|
2015
|
48 |
27 |
p. 181-186
6 p.
|
artikel
|
| 37 |
On the Relation between the Hybrid Minimum Principle and Hybrid Dynamic Programming: a Linear Quadratic Example
|
Pakniyat, Ali
|
|
2015
|
48 |
27 |
p. 169-174
6 p.
|
artikel
|
| 38 |
Parameter Sensitivity and Boundedness of Robotic Hybrid Periodic Orbits * * This work is supported by the National Science Foundation through grants CNS-0953823 and CNS-1136104.
|
Kolathaya, Shishir
|
|
2015
|
48 |
27 |
p. 377-382
6 p.
|
artikel
|
| 39 |
Partial Cluster Stabilization and Partial Cascade Stabilization of Physical Networks * * This work was supported by the Defense Threat Reduction Agency, Basic Research Award #HDTRA1-10-1-0090 and Fundamental Research Award #HDTRA1-13-1-0048.
|
Zeng, Xianlin
|
|
2015
|
48 |
27 |
p. 230-235
6 p.
|
artikel
|
| 40 |
Passivity-Based Control with Guaranteed Safety via Interconnection and Damping Assignment
|
Romdlony, Muhammad Zakiyullah
|
|
2015
|
48 |
27 |
p. 74-79
6 p.
|
artikel
|
| 41 |
Power Network Regulation Benchmark for Switched-Mode Optimal Control
|
Caldwell, Timothy M.
|
|
2015
|
48 |
27 |
p. 280-285
6 p.
|
artikel
|
| 42 |
Region of exponential stability of switched linear systems on time scales * * This work has been supported by International Campus on Safety and Intermodality in Transportation, the European Community, the Delegation Regionale a la Recherche et a la Technologie, the Ministere de l'Enseignement sup_erieur et de la Recherche, the Region Nord Pas de Calais and the Centre National de la Recherche Scienti_que.
|
Taousser, F.Z.
|
|
2015
|
48 |
27 |
p. 93-98
6 p.
|
artikel
|
| 43 |
Robust Control of Uncertain Switched Linear Systems based on Stochastic Reachability
|
Asselborn, Leonhard
|
|
2015
|
48 |
27 |
p. 310-316
7 p.
|
artikel
|
| 44 |
Robust Model Predictive Control for Signal Temporal Logic Synthesis
|
Farahani, Samira S.
|
|
2015
|
48 |
27 |
p. 323-328
6 p.
|
artikel
|
| 45 |
Robustness of Control Barrier Functions for Safety Critical Control * * This work is partially supported by the National Science Foundation Grants 1239055, 1239037 and 1239085.
|
Xu, Xiangru
|
|
2015
|
48 |
27 |
p. 54-61
8 p.
|
artikel
|
| 46 |
Robustness of recurrence for a class of stochastic hybrid systems * * Research supported in part by AFOSR FA9550-12-1-0127,FA9550-15-1-0155 and NSF ECCS-1232035.
|
Subbaraman, Anantharaman
|
|
2015
|
48 |
27 |
p. 304-309
6 p.
|
artikel
|
| 47 |
Robustness of Simulink/Stateflow Model Against Implementation Imperfections * * The research was supported in part by the National Science Foundation under the grants NSF-ECCS-0801763, NSF-ECCS-0926029, and NSF-CCF-1331390.
|
Li, Meng
|
|
2015
|
48 |
27 |
p. 274-279
6 p.
|
artikel
|
| 48 |
Safe Human-Inspired Mesoscopic Hybrid Automaton for Longitudinal Vehicle Control
|
Iovine, A.
|
|
2015
|
48 |
27 |
p. 155-160
6 p.
|
artikel
|
| 49 |
Safety Analysis of Stochastic Dynamical Systems
|
Sloth, Christoffer
|
|
2015
|
48 |
27 |
p. 62-67
6 p.
|
artikel
|
| 50 |
Safety control with performance guarantees of cooperative systems using compositional abstractions * * This work was partly supported by a PhD scholarship and the research project COHYBA funded by R_egion Rh^one-Alpes.
|
Meyer, Pierre-Jean
|
|
2015
|
48 |
27 |
p. 317-322
6 p.
|
artikel
|
| 51 |
Safety-Critical Control for Dynamical Bipedal Walking with Precise Footstep Placement * * This work is partially supported through funding from the Google Faculty Award and NSF Grant IIS-1464337.
|
Nguyen, Quan
|
|
2015
|
48 |
27 |
p. 147-154
8 p.
|
artikel
|
| 52 |
Scheduled controller design for systems with two switching sensor configurations: A frequency-domain approach * * This work is supported by the Dutch Technology Foundation (STW) under project “HyperMotion: Hybrid Control for Performance Improvement of Linear Motion Systems” (no. 10953).
|
Loon, S.J.L.M. van
|
|
2015
|
48 |
27 |
p. 99-104
6 p.
|
artikel
|
| 53 |
Sequential Action Control for Tracking of Free Invariant Manifolds * * This material is based upon work supported by the National Science Foundation under Grant CMMI 1200321. Any opinions, _ndings, and conclusions or recommendations expressed in this material are those of the author(s) and do not necessarily reect the views of the National Science Foundation.
|
Ansari, Alex
|
|
2015
|
48 |
27 |
p. 335-342
8 p.
|
artikel
|
| 54 |
Stability Analysis by means of Discrete Abstraction. Application to Voltage Stability of Distributed Generators * * This study has been carried out in the RISEGrid Institute (www.supelec.fr/342 p 38091/risegrid-en.html), joint scienti_c program between CentraleSupelec and EDF (‘Electricit_e de France’) on smarter electric grids.
|
Cosson, Marjorie
|
|
2015
|
48 |
27 |
p. 364-370
7 p.
|
artikel
|
| 55 |
Stability of time-delay reset control systems with time-dependent resetting law * * This work was supported by FEDER (European Union), ‘Ministerio de Ciencia e Innovaci_on’ of Spain under project DPI2010-20466-C02-02 and the ANR Project LIMICOS 12-BS03-005-01.
|
Davó, M.A.
|
|
2015
|
48 |
27 |
p. 371-376
6 p.
|
artikel
|
| 56 |
Stability Verification of Nearly Periodic Impulsive Linear Systems using Reachability Analysis * * This work was supported by the Agence Nationale de la Recherche (COMPACS project ANR-13-BS03-0004).
|
Khatib, Mohammad Al
|
|
2015
|
48 |
27 |
p. 358-363
6 p.
|
artikel
|
| 57 |
Step Simulation/Overapproximation-Based Verification of Nonlinear Deterministic Hybrid System with Inputs * * The research was supported in part by the National Science Foundation under the grants, NSF-ECCS-0926029, and NSF-CCF-1331390.
|
Ren, Hao
|
|
2015
|
48 |
27 |
p. 21-26
6 p.
|
artikel
|
| 58 |
System-Centric Minimum-Time Paths for Battery-Powered Vehicles in Networks with Charging Nodes * * The authors’ work is supported in part by NSF under Grants CNS1239021 and IIP-1430145, by AFOSR under grant FA9550-12-1-0113, and by ONR under grant N00014-09-1-1051.
|
Pourazarm, Sepideh
|
|
2015
|
48 |
27 |
p. 111-116
6 p.
|
artikel
|
| 59 |
Temporal Logic Inference with Prior Information: An Application to Robot Arm Movements * * Corresponding Author: Zhe Xu. We acknowledge the support of the National Science Foundation through grants number CNS0953976, CNS-1218109, and NRI-1426907, and the O_ce of Naval Research through grant number N00014-14-1-0554 for the research reported in this paper.
|
Xu, Zhe
|
|
2015
|
48 |
27 |
p. 141-146
6 p.
|
artikel
|
| 60 |
Time Optimal Hybrid Minimum Principle and the Gear Changing Problem for Electric Vehicles
|
Pakniyat, Ali
|
|
2015
|
48 |
27 |
p. 187-192
6 p.
|
artikel
|
| 61 |
Using Elementary Flux Modes to Estimate the Distance to Regime Shifts in Kinetic Systems * * The authors grateful acknowledge the partial financial support of Notre Dame's Environmental Change Initiative and the National Science Foundation (CNS-1239222)
|
Lemmon, M.D.
|
|
2015
|
48 |
27 |
p. 193-198
6 p.
|
artikel
|
Tijdschrift beschrijving