Differential automata and their discrete simulators
Non-Linear Analysis
Viability theory
The temporal logic of reactive and concurrent systems
The temporal logic of reactive and concurrent systems
Theoretical Computer Science
Computer-aided verification of coordinating processes: the automata-theoretic approach
Computer-aided verification of coordinating processes: the automata-theoretic approach
Temporal verification of reactive systems: safety
Temporal verification of reactive systems: safety
Control of hybrid systems
What's decidable about hybrid automata?
STOC '95 Proceedings of the twenty-seventh annual ACM symposium on Theory of computing
Theory of hybrid systems and discrete event systems
Theory of hybrid systems and discrete event systems
A game-theoretic approach to hybrid system design
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Verifying ET-LOTOS programmes with KRONOS
Proceedings of the 7th IFIP WG6.1 International Conference on Formal Description Techniques VII
TACAS '95 Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
Event Identification and Intelligent Hybrid Control
Hybrid Systems
Multiple Agent Hybrid Control Architecture
Hybrid Systems
Verification of Hybrid Systems Using Abstractions
Hybrid Systems II
A Toolbox for Proving and Maintaining Hybrid Specifications
Hybrid Systems IV
Control Synthesis for a Class of Hybrid Systems Subject to Configuration-Based Safety Constraints
HART '97 Proceedings of the International Workshop on Hybrid and Real-Time Systems
Steam-Boiler Control Specification Problem
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Using HyTech to Synthesize Control Parameters for a Steam Boiler
Formal Methods for Industrial Applications, Specifying and Programming the Steam Boiler Control (the book grow out of a Dagstuhl Seminar, June 1995).
Synthesizing Controllers for Nonlinear Hybrid Systems
HSCC '98 Proceedings of the First International Workshop on Hybrid Systems: Computation and Control
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
CONCUR '99 Proceedings of the 10th International Conference on Concurrency Theory
Hierarchical Approach for Design of Multi-vehicle Multi-modal Embedded Software
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Computing Controllers for Nonlinear Hybrid Systems
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
Controlled Invariance of Discrete Time Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Dynamical Systems Revisited: Hybrid Systems with Zeno Executions
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Behavior Based Robotics Using Hybrid Automata
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Decidable Controller Synthesis for Classes of Linear Systems
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Invariant Sets and Control Synthesis for Switching Systems with Safety Specifications
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
Mode Switching Synthesis for Reachability Specifications
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Hybrid Approach to Traction Control
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Abstractions that Preserve Timed Languages
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Optimal Paths in Weighted Timed Automata
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Semi-decidable Synthesis for Triangular Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Hybrid Feedback Control for Path Tracking by a Bounded-Curvature Vehicle
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Global Controllability of Hybrid Systems with Controlled and Autonomous Switchings
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Bisimulation Based Hierarchical System Architecture for Single-Agent Multi-modal Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
On the Optimal Control Law for Linear Discrete Time Hybrid Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Modeling and Control of Co-generation Power Plants: A Hybrid System Approach
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
On Control with Bounded Computational Resources
FTRTFT '02 Proceedings of the 7th International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems: Co-sponsored by IFIP WG 2.2
Overapproximating Reachable Sets by Hamilton-Jacobi Projections
Journal of Scientific Computing
Optimal paths in weighted timed automata
Theoretical Computer Science - Logic, semantics and theory of programming
An overview of embedded system design education at berkeley
ACM Transactions on Embedded Computing Systems (TECS)
Embedded system education: a new paradigm for engineering schools?
ACM SIGBED Review - Special issue: The first workshop on embedded system education (WESE)
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Invertibility of switched linear systems
Automatica (Journal of IFAC)
Distributed Lyapunov Functions in Analysis of Graph Models of Software
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Probabilistic reachability and safety for controlled discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
Multi-robot deployment and coordination with Embedded Graph Grammars
Autonomous Robots
AAAI'06 proceedings of the 21st national conference on Artificial intelligence - Volume 2
ICRA'09 Proceedings of the 2009 IEEE international conference on Robotics and Automation
Dynamical properties of hybrid systems simulators
Automatica (Journal of IFAC)
Amir Pnueli and the dawn of hybrid systems
Proceedings of the 13th ACM international conference on Hybrid systems: computation and control
Reachability algorithm for biological piecewise-affine hybrid systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Hybrid control of an automotive robotized gearbox for reduction of consumptions and emissions
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Safety verification of model helicopter controller using hybrid input/output automata
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Hybrid modelling and control of power electronics
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Guided controller synthesis for climate controller using UPPAAL TIGA
FORMATS'07 Proceedings of the 5th international conference on Formal modeling and analysis of timed systems
Applications of hybrid reachability analysis to robotic aerial vehicles
International Journal of Robotics Research
SIAM Journal on Control and Optimization
Proceedings of the 14th international conference on Hybrid systems: computation and control
Automatica (Journal of IFAC)
Observability of hybrid automata by abstraction
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
The reachability problem for uncertain hybrid systems revisited: a viability theory perspective
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Interchange format for hybrid systems: abstract semantics
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Operational semantics of hybrid systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Hybrid decentralized control of large scale systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Interchange formats for hybrid systems: review and proposal
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Modeling, optimization and computation for software verification
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Efficient algorithms for collision avoidance at intersections
Proceedings of the 15th ACM international conference on Hybrid Systems: Computation and Control
Brief A hybrid control approach to action coordination for mobile robots
Automatica (Journal of IFAC)
Robustness of trajectories with finite time extent
Automatica (Journal of IFAC)
Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
Automatica (Journal of IFAC)
Control-invariance of hybrid systems with forcible events
Automatica (Journal of IFAC)
Identification of piecewise affine systems via mixed-integer programming
Automatica (Journal of IFAC)
On reachability and minimum cost optimal control
Automatica (Journal of IFAC)
Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
Automatica (Journal of IFAC)
SIAM Journal on Control and Optimization
Bounds on the reachable sets of nonlinear control systems
Automatica (Journal of IFAC)
One-shot computation of reachable sets for differential games
Proceedings of the 16th international conference on Hybrid systems: computation and control
A stochastic games framework for verification and control of discrete time stochastic hybrid systems
Automatica (Journal of IFAC)
On modeling of fuzzy hybrid systems
Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology
Hi-index | 22.17 |
The problem of systematically synthesizing hybrid controllers which satisfy multiple control objectives is considered. We present a technique, based on the principles of optimal control, for determining the class of least restrictive controllers that satisfies the most important objective (which we refer to as safety). The system performance with respect to lower priority objectives (which we refer to as efficiency) can then be optimized within this class. We motivate our approach by showing how the proposed synthesis technique simplifies to well-known results from supervisory control and pursuit evasion games when restricted to purely discrete and purely continuous systems respectively. We then illustrate the application of this technique to two examples, one hybrid (the steam boiler benchmark problem), and one primarily continuous (a flight vehicle management system with discrete flight modes).