Journal of Optimization Theory and Applications
Modeling and integer programming techniques applied to propositional calculus
Computers and Operations Research - Special issue: Expert systems and operations research
An optimal gas supply for a power plant using a mixed integer programming model
Automatica (Journal of IFAC)
A game-theoretic approach to hybrid system design
Proceedings of the DIMACS/SYCON workshop on Hybrid systems III : verification and control: verification and control
Introduction to Digital Logic Design
Introduction to Digital Logic Design
Hybrid Systems
Propositional logic in control and monitoring problems
Automatica (Journal of IFAC)
Modeling, simulation, sensitivity analysis, and optimization of hybrid systems
ACM Transactions on Modeling and Computer Simulation (TOMACS)
Verification of Hybrid Systems via Mathematical Programming
HSCC '99 Proceedings of the Second International Workshop on Hybrid Systems: Computation and Control
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Hybrid Feedback Regulator Approach to Control an Automotive Suspension System
HSCC '00 Proceedings of the Third International Workshop on Hybrid Systems: Computation and Control
A Generalized Approach for Analysis and Control of Discrete-Time Piecewise Affine and Hybrid Systems
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Addressing Multiobjective Control: Safety and Performance through Constrained Optimization
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
A Clustering Technique for the Identification of Piecewise Affine Systems
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
Control of Piecewise-Linear Hybrid Systems on Simplices and Rectangles
HSCC '01 Proceedings of the 4th International Workshop on Hybrid Systems: Computation and Control
Reconfiguration in Hierarchical Control of Piecewise-Affine Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Switching and Feedback Laws for Control of Constrained Switched Nonlinear Systems
HSCC '02 Proceedings of the 5th International Workshop on Hybrid Systems: Computation and Control
Control of Switched Hybrid Systems Based on Disjunctive Formulations
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
Analysis of Discrete-Time PWA Systems with Logic States
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
Process modelling for hybrid control
Systems Analysis Modelling Simulation
Languages and tools for hybrid systems design
Foundations and Trends in Electronic Design Automation
Modeling and optimal control based on logic methods in water industry systems
MIC'06 Proceedings of the 25th IASTED international conference on Modeling, indentification, and control
Automatica (Journal of IFAC)
Proceedings of the 9th annual conference companion on Genetic and evolutionary computation
Hybrid Fuzzy Modelling for Model Predictive Control
Journal of Intelligent and Robotic Systems
Brief paper: A stable block model predictive control with variable implementation horizon
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
Intelligent supervisory systems for industrial process control
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
A holonic architecture for continuous processes supervision and coordination
ICS'05 Proceedings of the 9th WSEAS International Conference on Systems
Proceedings of the 1st international conference on Robot communication and coordination
Switching systems: active mode recognition, identification of the switching law
Journal of Control Science and Engineering
Transformation of Fuzzy Takagi-Sugeno Models into Piecewise Affine Models
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
A Control Lyapunov Approach to Predictive Control of Hybrid Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Observer-Based Control of Linear Complementarity Systems
HSCC '08 Proceedings of the 11th international workshop on Hybrid Systems: Computation and Control
Brief paper: Tracking and synchronisation for a class of PWA systems
Automatica (Journal of IFAC)
Automatica (Journal of IFAC)
International Journal of Robotics Research
Automatica (Journal of IFAC)
Hybrid Adaptive Predictive Control for a Dynamic Pickup and Delivery Problem
Transportation Science
HSCC '09 Proceedings of the 12th International Conference on Hybrid Systems: Computation and Control
Survey paper: Direction-dependent systems - A survey
Automatica (Journal of IFAC)
Computers and Electronics in Agriculture
Reach control on simplices by continuous state feedback
ACC'09 Proceedings of the 2009 conference on American Control Conference
Steady-state and N-stages control for isolated controlled intersections
ACC'09 Proceedings of the 2009 conference on American Control Conference
Analysis and control of hybrid systems with parameter uncertainty based on interval methods
ACC'09 Proceedings of the 2009 conference on American Control Conference
Characterization of backward reachable set and positive invariant set in polytopes
ACC'09 Proceedings of the 2009 conference on American Control Conference
A gap metric based nonlinearity measure for chemical processes
ACC'09 Proceedings of the 2009 conference on American Control Conference
A new LP-based obstacle-avoided model in path planning problem
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
The study of predictive control system based on coincidence points technology
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
Improvement of optimal algorithm for hybrid system based on MLD model
CCDC'09 Proceedings of the 21st annual international conference on Chinese control and decision conference
A mixed logic enhanced multi-model switching predictive controller for nonlinear dynamic process
Control and Intelligent Systems
A decomposition method for optimal firing sequence problems for first-order hybrid Petri nets
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
State feedback singular H∞ control for switched linear systems
Control and Intelligent Systems
Mixed logic dynamic model of the secondary clarifier
International Journal of Modelling and Simulation
Minimalilty of finite automata representation in hybrid systems control
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Rate admission control for hard real-time task scheduling
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Modeling and optimal control of hybrid rigidbody mechanical systems
HSCC'07 Proceedings of the 10th international conference on Hybrid systems: computation and control
Optimal switches in multi-inventory 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
Efficient mode enumeration of compositional hybrid systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Model checking LTL over controllable linear systems is decidable
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Results and perspectives on computational methods for optimal control of switched systems
HSCC'03 Proceedings of the 6th international conference on Hybrid systems: computation and control
Brief paper: Convex relaxations for mixed integer predictive control
Automatica (Journal of IFAC)
Modeling and predictive control of tow tank system by MLD approach
CSS'10 Proceedings of the 4th international conference on Circuits, systems and signals
Hybrid control of a mechanical system with nonlinear constraint
ICOSSSE '09 Proceedings of the 8th WSEAS international conference on System science and simulation in engineering
Polynomial-time algorithm for controllability test of a class of Boolean biological networks
EURASIP Journal on Bioinformatics and Systems Biology
Reach Control on Simplices by Continuous State Feedback
SIAM Journal on Control and Optimization
Optimal control of a class of nonlinear systems: mixed integer programming based approach
ROCOM'06 Proceedings of the 6th WSEAS international conference on Robotics, control and manufacturing technology
Nonlinear regression with piecewise affine models based on RBFN
ICANN'05 Proceedings of the 15th international conference on Artificial neural networks: formal models and their applications - Volume Part II
Sufficient conditions for global synchronization of continuous piecewise affine systems
AIS'11 Proceedings of the Second international conference on Autonomous and intelligent systems
Stabilizing polynomial approximation of explicit MPC
Automatica (Journal of IFAC)
On oscillations damping and control for a class of affine systems
GAVTASC'11 Proceedings of the 11th WSEAS international conference on Signal processing, computational geometry and artificial vision, and Proceedings of the 11th WSEAS international conference on Systems theory and scientific computation
Stabilization of Finite Automata with Application to Hybrid Systems Control
Discrete Event Dynamic Systems
On fluidization of discrete event models: observation and control of continuous Petri nets
Discrete Event Dynamic Systems
Feedforward control of a class of hybrid systems using an inverse model
Mathematics and Computers in Simulation
Path Planning for UAVs Under Communication Constraints Using SPLAT! and MILP
Journal of Intelligent and Robotic Systems
Energy-aware robust model predictive control based on noisy wireless sensors
Automatica (Journal of IFAC)
Event-Based model predictive control and verification of integral continuous-time hybrid automata
HSCC'06 Proceedings of the 9th international conference on Hybrid Systems: computation and control
Continuization of timed petri nets: from performance evaluation to observation and control
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Optimal control of discrete hybrid stochastic automata
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
Safety verification of controlled advanced life support system using barrier certificates
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Infinity norms as lyapunov functions for model predictive control of constrained PWA systems
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Design of optimal autonomous switching circuits to suppress mechanical vibration
HSCC'05 Proceedings of the 8th international conference on Hybrid Systems: computation and control
Brief paper: On optimal control of non-autonomous switched systems with a fixed mode sequence
Automatica (Journal of IFAC)
Brief paper: Linear-quadratic switching control with switching cost
Automatica (Journal of IFAC)
Brief Analysis of discrete-time piecewise affine and hybrid systems
Automatica (Journal of IFAC)
Survey Constrained model predictive control: Stability and optimality
Automatica (Journal of IFAC)
Brief Equivalence of hybrid dynamical models
Automatica (Journal of IFAC)
A clustering technique for the identification of piecewise affine systems
Automatica (Journal of IFAC)
Stabilizing low complexity feedback control of constrained piecewise affine systems
Automatica (Journal of IFAC)
Dynamic programming for constrained optimal control of discrete-time linear hybrid systems
Automatica (Journal of IFAC)
Plasma vertical stabilization with actuation constraints in the DIII-D tokamak
Automatica (Journal of IFAC)
Identification of piecewise affine systems via mixed-integer programming
Automatica (Journal of IFAC)
A control problem for affine dynamical systems on a full-dimensional polytope
Automatica (Journal of IFAC)
Uniting bounded control and MPC for stabilization of constrained linear systems
Automatica (Journal of IFAC)
Synthesis of optimal controllers for piecewise affine systems with sampled-data switching
Automatica (Journal of IFAC)
Simultaneous state and input estimation of hybrid systems with unknown inputs
Automatica (Journal of IFAC)
Analysis and synthesis of switched linear control systems
Automatica (Journal of IFAC)
Optimal control of switching systems
Automatica (Journal of IFAC)
Optimal control of sampled-data piecewise affine systems
Automatica (Journal of IFAC)
Optimal piecewise state feedback control for impulsive switched systems
Mathematical and Computer Modelling: An International Journal
On the equivalence of linear complementarity problems
Operations Research Letters
Modeling with discrete-time recurrent fuzzy systems via mixed-integer optimization
Fuzzy Sets and Systems
On efficient sensor scheduling for linear dynamical systems
Automatica (Journal of IFAC)
An integer programming approach for optimal drug dose computation
Computer Methods and Programs in Biomedicine
HPN modeling, optimization and control law extraction for continuous steel processing
Proceedings of the Winter Simulation Conference
Hybrid control lyapunov functions for the stabilization of hybridsystems
Proceedings of the 16th international conference on Hybrid systems: computation and control
Temporal logic model predictive control for discrete-time systems
Proceedings of the 16th international conference on Hybrid systems: computation and control
A novel adaptive fuzzy predictive control for hybrid systems with mixed inputs
Engineering Applications of Artificial Intelligence
Model predictive control over delay-based differentiated services control networks
Proceedings of the Conference on Design, Automation and Test in Europe
Predictive control of networked control systems over differentiated services lossy networks
DATE '12 Proceedings of the Conference on Design, Automation and Test in Europe
An experimental validation of a novel clustering approach to PWARX identification
Engineering Applications of Artificial Intelligence
Hybrid-fuzzy modeling and identification
Applied Soft Computing
LTL receding horizon control for finite deterministic systems
Automatica (Journal of IFAC)
Hi-index | 22.21 |
This paper proposes a framework for modeling and controlling systems described by interdependent physical laws, logic rules, and operating constraints, denoted as mixed logical dynamical (MLD) systems. These are described by linear dynamic equations subject to linear inequalities involving real and integer variables. MLD systems include linear hybrid systems, finite state machines, some classes of discrete event systems, constrained linear systems, and nonlinear systems which can be approximated by piecewise linear functions. A predictive control scheme is proposed which is able to stabilize MLD systems on desired reference trajectories while fulfilling operating constraints, and possibly take into account previous qualitative knowledge in the form of heuristic rules. Due to the presence of integer variables, the resulting on-line optimization procedures are solved through mixed integer quadratic programming (MIQP), for which efficient solvers have been recently developed. Some examples and a simulation case study on a complex gas supply system are reported.