Filters








28,879 Hits in 6.0 sec

Algorithms for Synthesizing Priorities in Component-Based Systems [chapter]

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
2011 Lecture Notes in Computer Science  
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions.  ...  For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and -deadlock  ...  Introduction Priorities [15] define stateless-precedence relations between actions available in component-based systems.  ... 
doi:10.1007/978-3-642-24372-1_12 fatcat:hseg2zm5ibgklpdejruazyoyqe

Algorithms for Synthesizing Priorities in Component-based Systems [article]

Chih-Hong Cheng, Saddek Bensalem, Yu-Fang Chen, Rongjie Yan, Barbara Jobstmann, Harald Ruess, Christian Buckl, Alois Knoll
2011 arXiv   pre-print
We present algorithms to synthesize component-based systems that are safe and deadlock-free using priorities, which define stateless-precedence between enabled actions.  ...  For complex systems, we propose three complementary methods as preprocessing steps for priority synthesis, namely (a) data abstraction to reduce component complexities, (b) alphabet abstraction and #-deadlock  ...  INTRODUCTION Priorities [15] define stateless-precedence relations between actions available in component-based systems.  ... 
arXiv:1107.1383v2 fatcat:pz5knxfmavbz5dkppagtaywltu

Distributed Priority Synthesis

Chih-Hong Cheng, Rongjie Yan, Saddek Bensalem, Harald Ruess
2012 Electronic Proceedings in Theoretical Computer Science  
In distributed priority synthesis we are interested in obtaining local sets of priorities, which are deployed in terms of local component controllers sharing intended next moves between components in local  ...  These optimized algorithms for solving distributed priority synthesis problems have been integrated into the VissBIP framework.  ...  In particular, whenever the system is unsafe under the current set of priorities, the algorithm diagnoses the reason for unsafety and introduces additional priorities for preventing immediate entry into  ... 
doi:10.4204/eptcs.102.7 fatcat:zrzhtat2snfxlkekv3qqaxg5hi

Distributed Priority Synthesis and its Applications [article]

Chih-Hong Cheng, Saddek Bensalem, Rongjie Yan, Harald Ruess, Christian Buckl, Alois Knoll
2012 arXiv   pre-print
In distributed priority synthesis we are interested in obtaining local sets of priorities, which are deployed in terms of local component controllers sharing intended next moves between components in local  ...  These optimized algorithms for solving distributed priority synthesis problems have been integrated into our VissBIP framework.  ...  Daniel Le Berre for his kind support in guiding the use of SAT4J, and Mr. Hardik Shah for proposing the scenario listed in Section I.  ... 
arXiv:1112.1783v2 fatcat:yylwdde5irf5poa2pmxo7filee

Model Construction and Priority Synthesis for Simple Interaction Systems [chapter]

Chih-Hong Cheng, Saddek Bensalem, Barbara Jobstmann, Rongjie Yan, Alois Knoll, Harald Ruess
2011 Lecture Notes in Computer Science  
VissBIP is a software tool for visualizing and automatically orchestrating component-based systems consisting of a set of components and their possible interactions.  ...  The generated constraints define priorities between interactions and are therefore well-suited for conflict resolution between components.  ...  Introduction We present VissBIP 1 , an open-source tool to construct, analyze, and synthesize component-based systems.  ... 
doi:10.1007/978-3-642-20398-5_34 fatcat:zlbzdieyanhipeiq6d4m5rrmsa

From Stateless to Stateful Priorities: Technical Report [article]

Christian Herrera
2020 arXiv   pre-print
We present the notion of stateful priorities for imposing precise restrictions on system actions, in order to meet safety constraints.  ...  We present as well a network transformation which uses synthesized priorities for blocking all system actions leading to the input error.  ...  We would like to thank Harald Ruess and Hernán Ponce de León for their support and enriching suggestions during the development of this work.  ... 
arXiv:2002.08646v1 fatcat:4dyzvhlv3ngyhfkhvub4blqfcm

A Task Generation Method for the Development of Embedded Software [chapter]

Zhigang Gao, Zhaohui Wu, Hong Li
2006 Lecture Notes in Computer Science  
In this paper, we present a new method of generating real-time tasks, which uses Component Sequence Diagram to organize tasks and assign their priorities.  ...  Moreover, we use simulated annealing algorithm to explore design space and iterate the process of task generation until an optimization implementation is obtained.  ...  [6] proposed a method of synthesizing real-time implementation from component-based software models.  ... 
doi:10.1007/11758549_122 fatcat:eemaonp5g5f53m4ozj5ucjhq24

Implan: Scalable Incremental Motion Planning for Multi-Robot Systems

Indranil Saha, Rattanachai Ramaithitima, Vijay Kumar, George J. Pappas, Sanjit A. Seshia
2016 2016 ACM/IEEE 7th International Conference on Cyber-Physical Systems (ICCPS)  
Our incremental algorithm then considers the robot groups one by one based on their priority and synthesizes the trajectories for the group of robots together.  ...  While synthesizing the trajectories for the robots in one group, the algorithm considers the higher priority robots as dynamic obstacles, and introduces a minimal delay in executing the cost-optimal trajectories  ...  To achieve this, we adapt the idea proposed in [26] for priority-based motion planning for multi-robot systems.  ... 
doi:10.1109/iccps.2016.7479105 dblp:conf/iccps/SahaR0PS16 fatcat:tehc2v64ejelli34i4z7ldjui4

A Study on Cyber Target Importance Quantification and Ranking Algorithm

Kookjin Kim, Seunghwan Oh, Donghwan Lee, Jiwon Kang, Jungsik Lee, Dongkyoo Shin
2022 Applied Sciences  
In this study, we develop a target importance rank (TIR) algorithm based on the PageRank algorithm that quantitatively calculates the importance of each target in cyberspace for cyber target selection.  ...  The proposed algorithm was developed to quantify the degree of connectivity, criticality, and exposure of computer network hosts, and to create a list of target importance priorities based on the quantified  ...  It is a suitable algorithm for synthesizing the elements of the research cases of this paper.  ... 
doi:10.3390/app12041833 fatcat:uam6xbscpneepittt4wftlc2jy

Power admission control of plug-in electric vehicles using supervisory control of discrete event system

Ali Kharrazi, Victor Sreeram, Yateendra Mishra
2017 2017 Australasian Universities Power Engineering Conference (AUPEC)  
The algorithm will sort all the request based on priority and requested power of each PEV. The requested power is calculated based on State of Charge (SoC) of PEVs batteries.  ...  SCDES BASED SCHEDULING In order to synthesize the controller, a control pattern should be design based on observation of appliances shown in Fig. 5 .  ... 
doi:10.1109/aupec.2017.8282511 fatcat:y4ulnovbyvdbxeec7mwm2omocy

MOCSYN: Multiobjective Core-Based Single-Chip System Synthesis [chapter]

Robert P. Dick, Niraj K. Jha, Robert P. Dick, Niraj K. Jha
2008 Design, Automation, and Test in Europe  
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrated circuit.  ...  Given a system specification consisting of multiple periodic task graphs as well as a database of core and integrated circuit characteristics, MOCSYN synthesizes real-time heterogeneous single-chip hardware-software  ...  Acknowledgments We would like to thank I-Jong Lin for his suggestions regarding an elegant clock frequency selection algorithm.  ... 
doi:10.1007/978-1-4020-6488-3_22 fatcat:h4t6l5wdfrddvpsdriptkwtlam

MOCSYN

Robert P. Dick, Niraj K. Jha
1999 Proceedings of the conference on Design, automation and test in Europe - DATE '99  
In this paper, we present a system synthesis algorithm, called MOCSYN, which partitions and schedules embedded system specifications to intellectual property cores in an integrated circuit.  ...  Given a system specification consisting of multiple periodic task graphs as well as a database of core and integrated circuit characteristics, MOCSYN synthesizes real-time heterogeneous single-chip hardware-software  ...  Acknowledgments We would like to thank I-Jong Lin for his suggestions regarding an elegant clock frequency selection algorithm.  ... 
doi:10.1145/307418.307502 fatcat:jz5arzx2vjgvhezykugiss67dm

Improving evolvability of a patient communication control system using state-based supervisory control synthesis

R.J.M. Theunissen, D.A. van Beek, J.E. Rooda
2012 Advanced Engineering Informatics  
Supervisory control theory enables control system designers to specify a model of an uncontrolled system in combination with associated control requirements, and subsequently to use a synthesis algorithm  ...  This is especially important for evolving systems, for which requirements change frequently.  ...  Finally, we would like to thank Dennis Hendriks, Albert Hofkamp and Michel Reniers for joint development of the supervisory control specification formalism used in this paper, and in particular Albert  ... 
doi:10.1016/j.aei.2012.02.009 fatcat:itatxismvraoxfglnsdks53cyq

Applying Model Transformations to Optimizing Real-Time QoS Configurations in DRE Systems [chapter]

Amogh Kavimandan, Aniruddha Gokhale
2009 Lecture Notes in Computer Science  
In the context of distributed, real-time, and embedded (DRE) component-based systems, bin packing algorithms and schedulability analysis have been used to make deployment and configuration decisions.  ...  The quality of a software architecture for component 1 -based distributed systems is defined not just by its source code but also by other systemic artifacts, such as the assembly, deployment, and configuration  ...  Acknowledgments: We thank the anonymous reviewers for the excellent feedback. We also thank the National Science Foundation.  ... 
doi:10.1007/978-3-642-02351-4_2 fatcat:deu2zwlylzfdxex3cvxywrzuju

A Practical Model for Live Speech-Driven Lip-Sync

Li Wei, Zhigang Deng
2015 IEEE Computer Graphics and Applications  
Compared with forced phoneme alignment for prerecorded speech, this last challenge comes from the low accuracy of state-of-the-art live speech phoneme recognition systems (such as the Julius system [http  ...  A simple, ef cient, yet practical phoneme-based approach to generating realistic speech animation in real time based on live speech input starts with decomposing lower-face movements and ends with applying  ...  In our system, the 3D face model consists of 30,000 triangles, and a thin-shell deformation algorithm is used to deform the face model based on synthesized facial marker displacements.  ... 
doi:10.1109/mcg.2014.105 pmid:25216476 fatcat:x5v3ptzrwzhnhiy7bknbprusf4
« Previous Showing results 1 — 15 out of 28,879 results