Filters








188,815 Hits in 3.1 sec

Synthesis of Hierarchical Systems [chapter]

Benjamin Aminof, Fabio Mogavero, Aniello Murano
2012 Lecture Notes in Computer Science  
In this work we describe an algorithm for the synthesis of a hierarchical system from a library of hierarchical components, which follows the "bottom-up" approach to system design.  ...  We show that the synthesis of a hierarchical system from a library of hierarchical components is EXPTIME-complete for µ-calculus, and 2EXPTIME-complete for LTL, both in the cases of complete and incomplete  ...  In this work we provide a uniform algorithm, for different temporal logics, for the synthesis of hierarchical systems (or, equivalently, transducers) from a library of hierarchical systems, which mimics  ... 
doi:10.1007/978-3-642-35743-5_4 fatcat:fy4xni2qvjcmvco2i53ikyhvyi

Synthesis of hierarchical systems

Benjamin Aminof, Fabio Mogavero, Aniello Murano
2014 Science of Computer Programming  
In this work we describe an algorithm for the synthesis of a hierarchical system from a library of hierarchical components, which follows the "bottom-up" approach to system design.  ...  We show that the synthesis of a hierarchical system from a library of hierarchical components is EXPTIME-complete for µ-calculus, and 2EXPTIME-complete for LTL, both in the cases of complete and incomplete  ...  In this work we provide a uniform algorithm, for different temporal logics, for the synthesis of hierarchical systems (or, equivalently, transducers) from a library of hierarchical systems, which mimics  ... 
doi:10.1016/j.scico.2013.07.001 fatcat:mzivhqwjireeteag7n3fvo6vxu

Hierarchical Decomposition of LTL Synthesis Problem for Nonlinear Control Systems

Pierre-Jean Meyer, Dimos V. Dimarogonas
2019 IEEE Transactions on Automatic Control  
This paper deals with the control synthesis problem for a continuous nonlinear dynamical system under a Linear Temporal Logic (LTL) formula.  ...  The proposed solution is a top-down hierarchical decomposition of the control problem involving three abstraction layers of the problem, iteratively solved from the coarsest to the finest.  ...  Hierarchical decomposition of LTL synthesis problem for mixed-monotone control systems Pierre-Jean Meyer, Dimos V.  ... 
doi:10.1109/tac.2019.2902643 fatcat:eiqv64t43fh2tpsu62yulblfh4

A Hierarchical Procedure for the Synthesis of ANFIS Networks

Massimo Panella
2012 Advances in Fuzzy Systems  
Adaptive neurofuzzy inference systems (ANFIS) represent an efficient technique for the solution of function approximation problems.  ...  It is based on a hierarchical constructive procedure, by which the number of rules is progressively increased and the optimal one is automatically determined on the basis of learning theory in order to  ...  Introduction In this paper, a new procedure for the structural optimization of adaptive neurofuzzy inference systems (ANFIS) is proposed, whose synthesis is based on the hyperplane clustering in the joint  ... 
doi:10.1155/2012/491237 fatcat:6kekm3ijuzclvdsxb2j3rfu4wm

Symbolic Synthesis and Verification of Hierarchical Interface-based Supervisory Control

2006 2006 8th International Workshop on Discrete Event Systems  
Hierarchical Interface-based Supervisory Control (HISC) is a method to alleviate the state-explosion problem when verifying the controllable and nonblocking properties of a large discrete event system.  ...  By decomposing a system as a number of subsystems according to the HISC method, we can verify the subsystems separately and the global system controllability and nonblocking property are guaranteed, so  ...  These modeling steps reflect the hierarchical nature of most complex systems, so modeling a system as a STS will be straightforward.  ... 
doi:10.1109/wodes.2006.382510 fatcat:epwztua36ngpxe5zthx2px5oby

A task-level hierarchical memory model for system synthesis of multiprocessors

Yanbing Li, Wayne Wolf
1997 Proceedings of the 34th annual conference on Design automation conference - DAC '97  
This paper introduces the first high-level (task-level) model of hierarchical memories and describes a scheduling and allocation algorithm for system-level synthesis of heterogeneous multiprocessors.  ...  Experimental results show that our model significantly improves schedulability of real-time tasks and can be evaluated efficiently during system-level synthesis.  ...  Introduction This paper describes a new task-level hierarchical memory model and a new system-level synthesis algorithm for hierarchical-memory systems.  ... 
doi:10.1145/266021.266053 dblp:conf/dac/LiW97 fatcat:eovmy2enazbhfpbndwr4r43dz4

Synthesis of Optimal Interfaces for Hierarchical Scheduling with Resources

Insik Shin, Moris Behnam, Thomas Nolte, Mikael Nolin
2008 2008 Real-Time Systems Symposium  
This paper presents algorithms that (1) facilitate systemindependent synthesis of timing-interfaces for subsystems and (2) system-level selection of interfaces to minimize CPU load.  ...  The results presented are developed for hierarchical fixed-priority scheduling of subsystems that may share logical recourses (i.e., semaphores).  ...  Introduction Hierarchical scheduling has emerged as a promising vehicle for simplifying the development of complex realtime software systems.  ... 
doi:10.1109/rtss.2008.34 dblp:conf/rtss/ShinBNN08 fatcat:jehz4xwttbhyrfwnnb3ejyeixm

Hierarchical Decentralized Controller Synthesis for Heterogeneous Multi-Agent Dynamical Systems by LQR

Dinh-Hoa NGUYEN, Shinji HARA
2015 SICE Journal of Control Measurement and System Integration  
This paper is concerned with systematic ways of designing hierarchical decentralized controllers for heterogeneous multi-agent dynamical systems.  ...  Given a bunch of independent agents or subsystems with a class of information networks, the aim of the paper is to propose a systematic design procedure for hierarchical decentralized controllers, where  ...  /CREST program on energy management systems.  ... 
doi:10.9746/jcmsi.8.295 fatcat:oyxm7n3givbufhaqwtc5hask3y

A Hierarchical Approach for the Synthesis of Stabilizing Controllers for Hybrid Systems [chapter]

Janusz Malinowski, Peter Niebert, Pierre-Alain Reynier
2011 Lecture Notes in Computer Science  
We consider a discretization based approach to controller synthesis of hybrid systems that allows to handle non-linear dynamics.  ...  The main contribution of this work is a technique to reduce the state explosion generated by the discretization: exploiting structural properties of ODE systems, we propose a hierarchical approach to the  ...  Hierarchical approach to controller synthesis In this section, we present an original approach for the analysis of the discretizations of ODE systems.  ... 
doi:10.1007/978-3-642-24372-1_15 fatcat:sf3y2nyno5dyleuutwslf46kuu

Hierarchical Components and Entity-based Modelling in Artificial Life

Matt Webster, Grant Malcolm
2008 Workshop on the Synthesis and Simulation of Living Systems  
approaches to the study of life-like systems.  ...  As well as providing a basis for the study of ecologies of interacting entities in artificial life, our approach provides a useful intermediate level of abstraction that can relate top-down and bottom-up  ...  than on providing a general means of describing the behaviour of hierarchical systems.  ... 
dblp:conf/alife/WebsterM08 fatcat:si55637uzbfs3dalf5clpxokeq

PNS modules for the synthesis of parallel self-organizing hierarchical neural networks

Faramarz Valafar, Okan K. Ersoy
1996 Circuits, systems, and signal processing  
The PNS module is discussed as the building block for the synthesis of parallel, selforganizing, hierarchical, neural networks (PSHNN).  ...  In this sense, the total system becomes similar to a piecewise linear model. 2. The classification problem may be extremely nonlinear. 3.  ...  This procedure is similar to modeling of a nonlinear system by a collection of piecewise linear systems. This topic is further discussed in Section 4.  ... 
doi:10.1007/bf01187692 fatcat:qqaujjqbhvauphyi4tvzahwsnm

Synthesis of Monolithic Microhoneycombs Equipped with Unique Hierarchical Pore Systems Using Ice Templating

Shin R. Mukai
2011 Journal of the Japan Petroleum Institute  
Therefore, such monoliths are equipped with a unique hierarchical pore system in which short nanopores are directly connected to straight macropores.  ...  Various porous materials with unique functions can be obtained through sol-gel synthesis.  ...  Therefore a monolithic microhoneycomb which has a unique hierarchical pore system in which nanopores are directly connected to macropores can be easily obtained through this method.  ... 
doi:10.1627/jpi.54.127 fatcat:2b5u2i7yfvbbliyqr5ur3u3q4y

Optimal control of multi-object multi-criteria systems, structural synthesis and hierarchical equilibration in intellectual control systems

K A Pupkov, E M Voronov, A A Karpunin
2010 RUDN Journal of Engineering Researches  
Methods of structural synthesis of optimal functional and technical habits of hierarchical distributed control system are formed within this framework.  ...  Methodology of optimization of structural and functional complex control systems in typical form of multi-level hierarchical structure with multi-subsystem multi-criteria systems of regulation, control  ...  Methods of structural synthesis of optimal functional and technical habits of hierarchical distributed control system are formed within this framework.  ... 
doaj:200c3cb8008a4a6bbbe25f21a3ee07cd fatcat:whp7pdurlrgjnlsfudyj5rurbq

Partitioning and Interface Synthesis in Hierarchical Multiprocessor Real-Time Systems

Alessandro Biondi, Giorgio Buttazzo, Marko Bertogna
2016 Proceedings of the 24th International Conference on Real-Time Networks and Systems - RTNS '16  
Hierarchical scheduling is an effective approach developed to support the integration of independently developed applications on the same computing platform.  ...  This paper fills this gap by proposing a design methodology as an optimization problem for partitioning applications to virtual processors, performing a synthesis of the component interface and allocating  ...  For example, in automotive systems such a hierarchical approach has already begun with the objective of containing the total number of electronic control units (ECUs) installed in a car, which implies  ... 
doi:10.1145/2997465.2997489 dblp:conf/rtns/BiondiBB16 fatcat:dcuxvupquzhvjeegn722kfn5my

Hierarchical Modeling, Optimization, and Synthesis for System-Level Analog and RF Designs

Rob A. Rutenbar, Georges G. E. Gielen, Jaijeet Roychowdhury
2007 Proceedings of the IEEE  
We then survey recent ideas in hierarchical synthesis for analog systems and focus in particular on numerical techniques for handling the large number of degrees of freedom in these designs and for exploring  ...  | The paper describes the recent state of the art in hierarchical analog synthesis, with a strong emphasis on associated techniques for computer-aided model generation and optimization.  ...  McConaghy, who have contributed largely to the work on hierarchical synthesis and performance modeling.  ... 
doi:10.1109/jproc.2006.889371 fatcat:nsxteyaqpzfl5no5v5iboedrgy
« Previous Showing results 1 — 15 out of 188,815 results