Control of systems integrating logic, dynamics, and constraints
A Bemporad, M Morari - Automatica, 1999 - Elsevier
This paper proposes a framework for modeling and controlling systems described by
interdependent physical laws, logic rules, and operating constraints, denoted as mixed …
interdependent physical laws, logic rules, and operating constraints, denoted as mixed …
GRASP: A search algorithm for propositional satisfiability
JP Marques-Silva, KA Sakallah - IEEE Transactions on …, 1999 - ieeexplore.ieee.org
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), a
new search algorithm for Propositional Satisfiability (SAT). GRASP incorporates several …
new search algorithm for Propositional Satisfiability (SAT). GRASP incorporates several …
GRASP-a new search algorithm for satisfiability
JPM Silva, KA Sakallah - Proceedings of International …, 1996 - ieeexplore.ieee.org
This paper introduces GRASP (Generic seaRch Algorithm for the Satisfiability Problem), an
integrated algorithmic framework for SAT that unifies several previously proposed search …
integrated algorithmic framework for SAT that unifies several previously proposed search …
[图书][B] Fundamentals of digital logic with Verilog design
SD Brown, ZG Vranesic - 2003 - ece.utoronto.ca
ECE 241F – Digital Systems Page 1 1 ECE 241F – Digital Systems Fall 2016 – J. Anderson,
P. Chow Basic Information Instructors and Lecture Information Section L101 L102 L103 …
P. Chow Basic Information Instructors and Lecture Information Section L101 L102 L103 …
[图书][B] The mechatronics handbook-2 volume set
RH Bishop - 2002 - taylorfrancis.com
Mechatronics has evolved into a way of life in engineering practice, and indeed pervades
virtually every aspect of the modern world. As the synergistic integration of mechanical …
virtually every aspect of the modern world. As the synergistic integration of mechanical …
Selective manipulation of ICT and PET processes in styryl-bodipy derivatives: applications in molecular logic and fluorescence sensing of metal ions
Remarkably versatile chemistry of Bodipy dyes allows the design and straightforward
synthesis of multivalent-multitopic derivatives, which, with judicious selection of metal ion …
synthesis of multivalent-multitopic derivatives, which, with judicious selection of metal ion …
On probabilistic inference by weighted model counting
M Chavira, A Darwiche - Artificial Intelligence, 2008 - Elsevier
A recent and effective approach to probabilistic inference calls for reducing the problem to
one of weighted model counting (WMC) on a propositional knowledge base. Specifically, the …
one of weighted model counting (WMC) on a propositional knowledge base. Specifically, the …
[HTML][HTML] Integrated elastomeric components for autonomous regulation of sequential and oscillatory flow switching in microfluidic devices
A critical need for enhancing the usability and capabilities of microfluidic technologies is the
development of standardized, scalable and versatile control systems,. Electronically …
development of standardized, scalable and versatile control systems,. Electronically …
[图书][B] Logic synthesis for control automata
S Baranov - 2012 - books.google.com
Logic Synthesis for Control Automata provides techniques for logic design of very complex
control units with hardly any constraints on their size, ie the number of inputs, outputs and …
control units with hardly any constraints on their size, ie the number of inputs, outputs and …
[图书][B] The electronics handbook
JC Whitaker, MH Kryder, JF Shackelford, VK Tripathi… - 2018 - taylorfrancis.com
During the ten years since the appearance of the groundbreaking, bestselling first edition of
The Electronics Handbook, the field has grown and changed tremendously. With a focus on …
The Electronics Handbook, the field has grown and changed tremendously. With a focus on …