Filters








2,901 Hits in 4.7 sec

Analysis of Linear Hybrid Systems in CLP [chapter]

Gourinath Banda, John P. Gallagher
2009 Lecture Notes in Computer Science  
In this paper we present a procedure for representing the semantics of linear hybrid automata (LHAs) as constraint logic programs (CLP); flexible and accurate analysis and verification of LHAs can then  ...  constraints in CLP, along with a product construction on the CLP representation including synchronisation on shared events; (iii) a framework in which various kinds of reasoning about an LHA can be flexibly  ...  Linear Hybrid Automata as CLP programs Embedded systems are predominantly employed in control applications, which are hybrid in the sense that the system whose behaviour is being controlled has continuous  ... 
doi:10.1007/978-3-642-00515-2_5 fatcat:p5cgvbushjcifej4ys2kq3dqnm

A logic-based modeling and verification of CPS

Neda Saeedloei, Gopal Gupta
2011 ACM SIGBED Review  
Interesting properties of the system can be verified merely by posing appropriate queries to this model. Precise parametric analysis can also be performed.  ...  Cyber-physical systems (CPS) consist of perpetually and concurrently executing physical and computational components.  ...  HYTECH analyzes a class of hybrid systems expressed via linear hybrid automata in which physical quantities exhibit constant derivatives.  ... 
doi:10.1145/2000367.2000374 fatcat:uwpfdczyd5eg5jkkmsad5xjmru

Logic-Based Solution Methods for Optimal Control of Hybrid Systems

A. Bemporad, N. Giorgetti
2006 IEEE Transactions on Automatic Control  
Combinatorial optimization over continuous and integer variables is a useful tool for solving complex optimal control problems of hybrid dynamical systems formulated in discretetime.  ...  Current approaches are based on mixed-integer linear (or quadratic) programming (MIP), which provides the solution after solving a sequence of relaxed linear (or quadratic) programs.  ...  In particular for discrete-time hybrid systems, in [8] - [10] the authors have solved optimal control problems by transforming the hybrid model into a set of linear equalities and inequalities involving  ... 
doi:10.1109/tac.2006.876949 fatcat:5s63fkonfncizlvmylystmrx5e

Multi-Agent Systems: Modeling and Verification Using Hybrid Automata [chapter]

Ammar Mohammed, Ulrich Furbach
2010 Lecture Notes in Computer Science  
In particular, model checking of a hybrid automaton is defined in terms of the reachability analysis of its underlying transition system.  ...  Ifẋ = c, then the hybrid automaton is called linear (a special case of linear hybrid automata are a timed automata [2] , where c = 1). ifẋ = c 1 x + c 2 , then a hybrid automaton is called non-linear.  ... 
doi:10.1007/978-3-642-14843-9_4 fatcat:txbyuahum5a57k3tqi5hbzijia

Molecular Diagnostics in Sepsis: From Bedside to Bench

T. Philip Chung, Jason M. Laramie, Donald J. Meyer, Thomas Downey, Laurence H.Y. Tam, Huashi Ding, Timothy G. Buchman, Irene Karl, Gary D. Stormo, Richard S. Hotchkiss, J. Perren Cobb
2006 Journal of the American College of Surgeons  
Based on recent in vitro data, we tested the hypothesis that microarray expression profiles can be used to diagnose sepsis, distinguishing in vivo between sterile and infectious causes of systemic inflammation  ...  using contemporary pathway analysis tools.  ...  k-nearest neighbor, nearest centroid, and linear and quadratic discriminant analysis classifiers.  ... 
doi:10.1016/j.jamcollsurg.2006.06.028 pmid:17084318 pmcid:PMC7118893 fatcat:egzxorzsrbfwrmejl62jrev52u

Hybrid Artificial Intelligence HFS-RF-PSO Model for Construction Labor Productivity Prediction and Optimization

Sara Ebrahimi, Aminah Robinson Fayek, Vuppuluri Sumati
2021 Algorithms  
The major contribution of this paper is the development of the hybrid HFS-RF-PSO model as a novel approach for optimizing factors that influence CLP and identifying the maximum CLP value.  ...  This paper introduces a new hybrid model named HFS-RF-PSO that addresses the main limitation of existing CLP prediction studies, which is the lack of capacity to optimize CLP and its most predictive factors  ...  Acknowledgments: This research is funded by the Natural Sciences and Engineering Research Council of Canada (NSERC) Industrial Research Chair (IRC) in Strategic Construction Modeling and Delivery (NSERC  ... 
doi:10.3390/a14070214 fatcat:33cyfvk4hnbprmrxqcx5uctgq4

A Hybrid Approach to the Optimization of Multiechelon Systems

Paweł Sitek, Jarosław Wikarek
2015 Mathematical Problems in Engineering  
The strengths of MP and CLP in which constraints are treated in a different way and different methods are implemented and combined to use the strengths of both.  ...  Two ways of mathematical programming (MP) and constraint logic programming (CLP) are integrated in one environment.  ...  Conflict of Interests The authors declare that there is no conflict of interests regarding the publication of this paper.  ... 
doi:10.1155/2015/925675 fatcat:t3dy45q6lza7fonxxaja3s2ltm

Multi-Robot Systems: Modeling, Specification, and Model Checking [chapter]

Ammar Mohammed, Ulrich Furbach, Frieder Stolzenburg
2010 Robot Soccer  
In Banda & Gallagher (2008) , it is shown how reachability analysis for linear hybrid automata can be done by means of CLP, again by computing compositions of (simple) hybrid automata.  ...  In particular, model checking of a hybrid automaton is defined in terms of the reachability analysis of its underlying transition system.  ... 
doi:10.5772/7349 fatcat:scvgry75fnbyta67aajoot6rda

A Hybrid Multi-Objective Programming Framework for Modeling and Optimization of Supply Chain Problems

Pawel Sitek
2015 Proceedings of the 2015 Federated Conference on Computer Science and Information Systems  
The strongest points of both components are combined in the hybrid framework, which by introducing transformation allows a significant reduction in size of a problem and the optimal solution is found a  ...  This paper presents a hybrid programming framework for solving multi-objective optimization problems in supply chain.  ...  The best structure for the implementation of the above approach is a declarative CLP environment with operation research MP as a hybrid system.  ... 
doi:10.15439/2015f83 dblp:conf/fedcsis/Sitek15 fatcat:dmsywgecgvhzlkispevx34jbsa

A Hybrid Multi-agent Approach to the Solving Supply Chain Problems

Paweł Sitek, Izabela Ewa Nielsen, Jarosław Wikarek
2014 Procedia Computer Science  
In addition, the proposed approach will be used for modelling and optimization of the hybrid model, which has not only linear constraints but also logical constraints.  ...  The strengths of MP and CLP, in which constraints are treated in a different way and different methods are implemented, were combined to use the strengths of both.  ...  in one batch of transport; the cost of supplies is presented in the form of a function (in this approach, linear function of fixed and variable costs); the models have linear or linear and logical constraints  ... 
doi:10.1016/j.procs.2014.08.239 fatcat:m3khih7pfjdv5g663bey5uefym

A Hybrid Method for the Modelling and Optimisation of Constrained Search Problems

Pawel Sitek, Jaroslaw Wikarek
2014 Foundations of Management  
The hybrid method is not worse than either of its components used independently.  ...  The paper presents a concept and the outline of the implementation of a hybrid approach to modelling and solving constrained problems.  ...  the solution of the problem (OR and CP/CLP) Layers used in the solution of the problem (HYBRID) From Figure 3 . 3 Scheme of the hybrid solution environment (HSE) (CLP -Constraint Logic Programming  ... 
doi:10.2478/fman-2014-0016 fatcat:57tos2g4wrf5dexdi66jbndexy

A hybrid framework for the modelling and optimisation of decision problems in sustainable supply chain management

Paweł Sitek, Jarosław Wikarek
2015 International Journal of Production Research  
This paper describes the hybrid framework for the modelling and optimisation of decision problems in sustainable supply chain management.  ...  The hybrid method appears to be not only as good as either of its components used independently, but in most cases it is much more effective.  ...  In this context, the concept of integrated CLP and MP systems presented in Section 2, supported by further analysis of the use of individual layers of a problem by each system separately, seems to be a  ... 
doi:10.1080/00207543.2015.1005762 fatcat:rx3g6osuy5fndiioiv5sbmzqyu

Simulation of resonance over-voltage during energization of high voltage power network

C.P. Cheng, Shihe Chen
2006 Electric power systems research  
The extraordinary system conditions during restoration require special electromagnetic transient analysis with different system modelling methods and system parameters.  ...  With all these studies, CLP Power is able to establish practical and reliable system restoration plans.  ...  ACKNOWLEDGMENTS The Authors would like to thank the colleagues of CLP Power Hong Kong who had provided supports to the restoration studies and field tests.  ... 
doi:10.1016/j.epsr.2005.12.010 fatcat:cbju5bbkbnchzpvhjkmw4vjype

A hybrid CP/MP approach to supply chain modelling, optimization and analysis

Paweł Sitek
2014 Proceedings of the 2014 Federated Conference on Computer Science and Information Systems  
The paper presents a concept and implementation of a novel hybrid approach to the modelling, optimization and analysis of the supply chain problems.  ...  This integration and hybridization, complemented with an adequate transformation of the problem, facilitates a significant reduction of the combinatorial problem.  ...  In CP/CLP, domain constraints with integers are easy to solve. The system of such constraints can be solved over integer variables in polynomial time.  ... 
doi:10.15439/2014f89 dblp:conf/fedcsis/Sitek14 fatcat:vkcecydfenfaxdzot6zqcnde2e

A hybrid method forOptimization Scheduling Groups of Jobs

Tadeusz Stefański, Jarosław Wikarek
2017 Proceedings of the 2017 Federated Conference on Computer Science and Information Systems  
The model has been implemented in several environments: Hybrid (CLP/MP), Hybrid (CLP, heuristic), MP and heuristic.  ...  The authors present a novel hybrid method, which includes the modelling and optimization of the problem in the hybrid environment composed of MP (Mathematical Programming) and CLP (Constraint Logic Programming  ...  the study was a comparative analysis performed for Fc1 and Fc2 in four environments: mathematical programming (MP), heuristic algorithm, hybrid1 (CLP&MP) and hybrid2 (CLP& heuristic algorithm) hybrid  ... 
doi:10.15439/2017f81 dblp:conf/fedcsis/StefanskiW17 fatcat:f7g5sssdd5b55p5gdhjnwntjc4
« Previous Showing results 1 — 15 out of 2,901 results