Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings > Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings |
Alberto Bemporad; Giorgio C Buttazzo; Antonio Bicchi
Springer Berlin Heidelberg
Hybrid Systems: Computation and Control: 10th International Workshop, HSCC 2007, Pisa, Italy, April 3-5, 2007, Proceedings
Necessary Optimality Conditions for a Class of Hybrid Optimal Control Problems
Authors

Vadim Azhmyakov; Sid Ahmed Attia; Dmitry Gromov; Jörg Raisch

ARI Id

1665055530307_4640031

Access

Not Available Free

Pages

637-640

DOI

10.1007/978-3-540-71493-4_50

Chapter URL

https://rd.springer.com/chapter/10.1007/978-3-540-71493-4_50

Table of Contents of Book
Showing 1 to 20 of 88 entries
Chapters/HeadingsAuthor(s)PagesInfo
Front Matter
Networked Embedded Systems: From Sensor Webs to Cyber-Physical Systems
Shankar Sastry
1-1
Control Challenges in Wireless Sensor Networks
John A. Stankovic
2-2
The Challenges of Embedded Systems Engineering
Ed Brinksma
3-3
Computational Approaches to Reachability Analysis of Stochastic Hybrid Systems
Alessandro Abate; Saurabh Amin; Maria Prandini; John Lygeros; Shankar Sastry
4-17
Groupoids in Control Systems and the Reachability Problem for a Class of Quantized Control Systems with Nonabelian Symmetries
Alessandro Arsie; Emilio Frazzoli
18-31
Minimum Time for a Hybrid System with Thermostatic Switchings
Fabio Bagagiolo
32-45
Complexity Reduction for the Design of Interacting Controllers
A. Balluchi; E. Mazzi; A. L. Sangiovanni Vincentelli
46-60
Model Checking Genetic Regulatory Networks with Parameter Uncertainty
Grégory Batt; Calin Belta; Ron Weiss
61-75
MARCO: A Reachability Algorithm for Multi-affine Systems with Applications to Biological Systems
Spring Berman; Ádám Halász; Vijay Kumar
76-89
Symbolic Analysis for GSMP Models with One Stateful Clock
Mikhail Bernadsky; Rajeev Alur
90-103
Robust, Optimal Predictive Control of Jump Markov Linear Systems Using Particles
Lars Blackmore; Askar Bektassov; Masahiro Ono; Brian C. Williams
104-117
Optimal Switching of 1-DOF Oscillating Systems
Paolo Bolzern; Patrizio Colaneri; José Claudio Geromel
118-130
Feedback Scheduling for Pipelines of Tasks
Tommaso Cucinotta; Luigi Palopoli
131-144
On Simulations and Bisimulations of General Flow Systems
J. M. Davoren; Paulo Tabuada
145-158
A Partial Order Approach to Discrete Dynamic Feedback in a Class of Hybrid Systems
Domitilla Del Vecchio
159-173
Systematic Simulation Using Sensitivity Analysis
Alexandre Donzé; Oded Maler
174-189
Motion Programs for Puppet Choreography and Control
Magnus Egerstedt; Todd Murphey; Jon Ludwig
190-202
Hierarchical Synthesis of Hybrid Controllers from Temporal Logic Specifications
Georgios E. Fainekos; Antoine Girard; George J. Pappas
203-216
Coupling from the Past in Hybrid Models for File Sharing Peer to Peer Systems
Bruno Gaujal; Florence Perronnin
217-230
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 88 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings