Search

Your search keyword '"Pearson, Justin"' showing total 280 results
Start Over Author "Pearson, Justin"
280 results on '"Pearson, Justin"'

6. Solving Satisfaction Problems Using Large-Neighbourhood Search

Author

Björdal, Gustav, Flener, Pierre, Pearson, Justin, Stuckey, Peter J., Tack, Guido, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, and Simonis, Helmut, editor

Published
2020
Full Text
View/download PDF

7. Global Constraint Catalog, Volume II, Time-Series Constraints

Author

Arafailova, Ekaterina, Beldiceanu, Nicolas, Douence, Rémi, Carlsson, Mats, Flener, Pierre, Rodríguez, María Andreína Francisco, Pearson, Justin, and Simonis, Helmut

Subjects
Computer Science - Artificial Intelligence, I.2.2, F.1.1
Abstract

First this report presents a restricted set of finite transducers used to synthesise structural time-series constraints described by means of a multi-layered function composition scheme. Second it provides the corresponding synthesised catalogue of structural time-series constraints where each constraint is explicitly described in terms of automata with registers., Comment: 3762 pages

Published
2016

8. MiniZinc with Strings

Author

Amadini, Roberto, Flener, Pierre, Pearson, Justin, Scott, Joseph D., Stuckey, Peter J., and Tack, Guido

Subjects
Computer Science - Programming Languages
Abstract

Strings are extensively used in modern programming languages and constraints over strings of unknown length occur in a wide range of real-world applications such as software analysis and verification, testing, model checking, and web security. Nevertheless, practically no CP solver natively supports string constraints. We introduce string variables and a suitable set of string constraints as builtin features of the MiniZinc modelling language. Furthermore, we define an interpreter for converting a MiniZinc model with strings into a FlatZinc instance relying on only integer variables. This provides a user-friendly interface for modelling combinatorial problems with strings, and enables both string and non-string solvers to actually solve such problems., Comment: Pre-proceedings paper presented at the 26th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2016), Edinburgh, Scotland UK, 6-8 September 2016 (arXiv:1608.02534)

Published
2016

9. Exploring Declarative Local-Search Neighbourhoods with Constraint Programming

Author

Björdal, Gustav, Flener, Pierre, Pearson, Justin, Stuckey, Peter J., Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Bertino, Elisa, Editorial Board Member, Gao, Wen, Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Woeginger, Gerhard, Editorial Board Member, Yung, Moti, Editorial Board Member, Schiex, Thomas, editor, and de Givry, Simon, editor

Published
2019
Full Text
View/download PDF

10. Generating Compound Moves in Local Search by Hybridisation with Complete Search

Author

Björdal, Gustav, Flener, Pierre, Pearson, Justin, Hutchison, David, Editorial Board Member, Kanade, Takeo, Editorial Board Member, Kittler, Josef, Editorial Board Member, Kleinberg, Jon M., Editorial Board Member, Mattern, Friedemann, Editorial Board Member, Mitchell, John C., Editorial Board Member, Naor, Moni, Editorial Board Member, Pandu Rangan, C., Editorial Board Member, Steffen, Bernhard, Editorial Board Member, Terzopoulos, Demetri, Editorial Board Member, Tygar, Doug, Editorial Board Member, Goos, Gerhard, Founding Editor, Hartmanis, Juris, Founding Editor, Rousseau, Louis-Martin, editor, and Stergiou, Kostas, editor

Published
2019
Full Text
View/download PDF

11. Propagators and Violation Functions for Geometric and Workload Constraints Arising in Airspace Sectorisation

Author

Flener, Pierre and Pearson, Justin

Subjects
Computer Science - Artificial Intelligence
Abstract

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some cost metric is minimised. We make a study of the constraints that arise in airspace sectorisation. For each constraint, we give an analysis of what algorithms and properties are required under systematic search and stochastic local search.

Published
2014

12. Automatic Airspace Sectorisation: A Survey

Author

Flener, Pierre and Pearson, Justin

Subjects
Computer Science - Other Computer Science
Abstract

Airspace sectorisation provides a partition of a given airspace into sectors, subject to geometric constraints and workload constraints, so that some cost metric is minimised. We survey the algorithmic aspects of methods for automatic airspace sectorisation, for an intended readership of experts on air traffic management.

Published
2013

13. Propagating Regular Counting Constraints

Author

Beldiceanu, Nicolas, Flener, Pierre, Pearson, Justin, and Van Hentenryck, Pascal

Subjects
Computer Science - Artificial Intelligence, Computer Science - Formal Languages and Automata Theory
Abstract

Constraints over finite sequences of variables are ubiquitous in sequencing and timetabling. Moreover, the wide variety of such constraints in practical applications led to general modelling techniques and generic propagation algorithms, often based on deterministic finite automata (DFA) and their extensions. We consider counter-DFAs (cDFA), which provide concise models for regular counting constraints, that is constraints over the number of times a regular-language pattern occurs in a sequence. We show how to enforce domain consistency in polynomial time for atmost and atleast regular counting constraints based on the frequent case of a cDFA with only accepting states and a single counter that can be incremented by transitions. We also prove that the satisfaction of exact regular counting constraints is NP-hard and indicate that an incomplete algorithm for exact regular counting constraints is faster and provides more pruning than the existing propagator from [3]. Regular counting constraints are closely related to the CostRegular constraint but contribute both a natural abstraction and some computational advantages., Comment: Includes a SICStus Prolog source file with the propagator

Published
2013

14. Exploring Properties of a Telecommunication Protocol with Message Delay Using Interactive Theorem Prover

Author

Dubois, Catherine, Grinchtein, Olga, Pearson, Justin, Carlsson, Mats, Hutchison, David, Series Editor, Kanade, Takeo, Series Editor, Kittler, Josef, Series Editor, Kleinberg, Jon M., Series Editor, Mattern, Friedemann, Series Editor, Mitchell, John C., Series Editor, Naor, Moni, Series Editor, Pandu Rangan, C., Series Editor, Steffen, Bernhard, Series Editor, Terzopoulos, Demetri, Series Editor, Tygar, Doug, Series Editor, Weikum, Gerhard, Series Editor, Johnsen, Einar Broch, editor, and Schaefer, Ina, editor

Published
2018
Full Text
View/download PDF

15. Toward an automaton Constraint for Local Search

Author

He, Jun, Flener, Pierre, and Pearson, Justin

Subjects
Computer Science - Artificial Intelligence
Abstract

We explore the idea of using finite automata to implement new constraints for local search (this is already a successful technique in constraint-based global search). We show how it is possible to maintain incrementally the violations of a constraint and its decision variables from an automaton that describes a ground checker for that constraint. We establish the practicality of our approach idea on real-life personnel rostering problems, and show that it is competitive with the approach of [Pralong, 2007].

Published
2009
Full Text
View/download PDF

16. Dynamic Demand-Capacity Balancing for Air Traffic Management Using Constraint-Based Local Search: First Results

Author

Bijarbooneh, Farshid Hassani, Flener, Pierre, and Pearson, Justin

Subjects
Computer Science - Artificial Intelligence
Abstract

Using constraint-based local search, we effectively model and efficiently solve the problem of balancing the traffic demands on portions of the European airspace while ensuring that their capacity constraints are satisfied. The traffic demand of a portion of airspace is the hourly number of flights planned to enter it, and its capacity is the upper bound on this number under which air-traffic controllers can work. Currently, the only form of demand-capacity balancing we allow is ground holding, that is the changing of the take-off times of not yet airborne flights. Experiments with projected European flight plans of the year 2030 show that already this first form of demand-capacity balancing is feasible without incurring too much total delay and that it can lead to a significantly better demand-capacity balance.

Published
2009
Full Text
View/download PDF

18. Physical Delithiation of Epitaxial LiCoO2 Battery Cathodes as a Platform for Surface Electronic Structure Investigation

Author

Salagre, Elena, primary, Segovia, Pilar, additional, González-Barrio, Miguel Ángel, additional, Jugovac, Matteo, additional, Moras, Paolo, additional, Pis, Igor, additional, Bondino, Federica, additional, Pearson, Justin, additional, Wang, Richmond Shiwei, additional, Takeuchi, Ichiro, additional, Fuller, Elliot J., additional, Talin, Alec A., additional, Mascaraque, Arantzazu, additional, and Michel, Enrique G., additional

Published
2023
Full Text
View/download PDF

19. MiniZinc with Strings

Author

Amadini, Roberto, Flener, Pierre, Pearson, Justin, Scott, Joseph D., Stuckey, Peter J., Tack, Guido, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Hermenegildo, Manuel V, editor, and Lopez-Garcia, Pedro, editor

Published
2017
Full Text
View/download PDF

20. Design and Implementation of Bounded-Length Sequence Variables

Author

Scott, Joseph D., Flener, Pierre, Pearson, Justin, Schulte, Christian, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Salvagnin, Domenico, editor, and Lombardi, Michele, editor

Published
2017
Full Text
View/download PDF

21. Censorship and Sensibility: Does the First Amendment Allow the FDA to Change the Meanings of Words?

Author

Pearson, Justin

Subjects
United States. Food and Drug Administration -- Management -- Powers and duties -- Standards, Commercial speech doctrine -- Laws, regulations and rules -- Remedies, Food labeling -- Laws, regulations and rules -- Political aspects, Censorship -- Laws, regulations and rules -- Remedies, Government regulation, Company business management, Censorship issue, Law, Political science
Abstract

The question of whether the Constitution allows the government to change the meanings of words is receiving renewed interest in the aftermath of the FDA's announcement that it intends to examine whether it should begin enforcing milk 'standard of identity' regulations. These restrict the use of the word 'milk' to cow's milk and thus ban almond milk and coconut milk from being labeled as almond milk and coconut milk. Even so, the government's attempts to change our language stretch back a century. This article begins by discussing the relevant regulations before turning to the varying levels of First Amendment protection granted to commercial speech in general, and food labels in particular, throughout US. history. It concludes with an analysis of the likely results should the FDA follow through with these plans and face a First Amendment challenge in court, and the article finds that the proposed change in enforcement would likely violate the First Amendment., TABLE OF CONTENTS INTRODUCTION 522 I. AN ALMOND DOES NOT LACTATE: THE FDA CONSIDERS WHETHER TO BEGIN ENFORCING MILK LABELING REGULATIONS 523 II. SPEECH IS SPEECH: THE ORIGINAL UNDERSTANDING OF [...]

Published
2019

23. Systematic Derivation of Bounds and Glue Constraints for Time-Series Constraints

Author

Arafailova, Ekaterina, Beldiceanu, Nicolas, Carlsson, Mats, Flener, Pierre, Francisco Rodríguez, María Andreína, Pearson, Justin, Simonis, Helmut, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Rueher, Michel, editor

Published
2016
Full Text
View/download PDF

24. Time-Series Constraints: Improvements and Application in CP and MIP Contexts

Author

Arafailova, Ekaterina, Beldiceanu, Nicolas, Douence, Rémi, Flener, Pierre, Francisco Rodríguez, María Andreína, Pearson, Justin, Simonis, Helmut, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Quimper, Claude-Guy, editor

Published
2016
Full Text
View/download PDF

27. Automated Auxiliary Variable Elimination Through On-the-Fly Propagator Generation

Author

Monette, Jean-Noël, Flener, Pierre, Pearson, Justin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Pesant, Gilles, editor

Published
2015
Full Text
View/download PDF

28. A Constraint Optimisation Model for Analysis of Telecommunication Protocol Logs

Author

Grinchtein, Olga, Carlsson, Mats, Pearson, Justin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, Blanchette, Jasmin Christian, editor, and Kosmatov, Nikolai, editor

Published
2015
Full Text
View/download PDF

29. Constraint Solving on Bounded String Variables

Author

Scott, Joseph D., Flener, Pierre, Pearson, Justin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and Michel, Laurent, editor

Published
2015
Full Text
View/download PDF

30. You cannot expel hope

Author

Pearson, Justin

Subjects
Philosophy and religion
Abstract

'You cannot expel hope. You can't expel our voice and you sure can't expel our fight.' --Tennessee state representative Justin Pearson, who was expelled from the legislature after participating in [...]

Published
2023

33. Clifford networks

Author

Pearson, Justin K.

Subjects
621.3822, Freed-forward networks
Published
1995

34. Linking Prefixes and Suffixes for Constraints Encoded Using Automata with Accumulators

Author

Beldiceanu, Nicolas, Carlsson, Mats, Flener, Pierre, Rodríguez, María Andreína Francisco, Pearson, Justin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Kobsa, Alfred, Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Weikum, Gerhard, Series editor, and O’Sullivan, Barry, editor

Published
2014
Full Text
View/download PDF

36. Effects of atmospheric UV-O3 exposure of WSe2 on the properties of the HfO2/WSe2 interface.

Author

Sales, Maria Gabriela, Mazzoni, Alexander, Sarney, Wendy L., Leff, Asher C., Pearson, Justin, Najmaei, Sina, and McDonnell, Stephen

Subjects
ATOMIC layer deposition, DIELECTRIC devices, SURFACE chemistry, OXIDE coating, TRANSITION metals
Abstract

Transition metal dichalcogenides (TMDCs), such as semiconducting WSe2, are typically interfaced with a high-quality dielectric layer in device applications. The unreactive basal plane of TMDCs makes the standard technique for deposition of dielectric oxides, atomic layer deposition (ALD), challenging on TMDC surfaces. In this work, we make use of atmospheric ultraviolet–ozone (UV-O3) exposure of WSe2 to functionalize its surface and promote uniform ALD of HfO2. We report two classifications depending on the UV-O3 exposure time. Low exposures do not result in detectable WSe2 surface oxidation, while high exposures result in a self-limiting and amorphous tungsten oxyselenide top layer. Following ALD of HfO2, low exposure samples have an abrupt HfO2/WSe2 interface with no interfacial oxide, while high exposure results in an interfacial WO3 layer between the HfO2 and the WSe2, as well as evidence of two doping states observed in the underlying WSe2. Despite differences in the interface chemistry, both low and high exposures result in uniform and smooth HfO2 films directly deposited by ALD and a reduction in gate leakage through this HfO2 layer. We report that our atmospheric UV-O3 exposure technique on WSe2 is an avenue for allowing direct ALD of thin uniform oxide films on WSe2, and the UV-O3 exposure time provides unique tunability and flexibility in interface design within devices. [ABSTRACT FROM AUTHOR]

Published
2023
Full Text
View/download PDF

38. No genetic association between attention-deficit/hyperactivity disorder (ADHD) and Parkinson’s disease in nine ADHD candidate SNPs

Author

Geissler, Julia M., Romanos, Marcel, Gerlach, Manfred, Berg, Daniela, Schulte, Claudia, Nalls, Mike, Plagnol, Vincent, Hernandez, Dena G., Sharma, Manu, Sheerin, Una-Marie, Saad, Mohamad, Simón-Sánchez, Javier, Schulte, Claudia, Lesage, Suzanne, Sveinbjörnsdóttir, Sigurlaug, Arepalli, Sampath, Barker, Roger, Ben-Shlomo, Yoav, Berendse, Henk W., Berg, Daniela, Bhatia, Kailash, de Bie, Rob M. A., Biffi, Alessandro, Bloem, Bas, Bochdanovits, Zoltan, Bonin, Michael, Bras, Jose M., Brockmann, Kathrin, Brooks, Janet, Burn, David J., Charlesworth, Gavin, Chen, Honglei, Chinnery, Patrick F., Chong, Sean, Clarke, Carl E., Cookson, Mark R., Cooper, J. Mark, Corvol, Jean Christophe, Counsell, Carl, Damier, Philippe, Dartigues, Jean-François, Deloukas, Panos, Deuschl, Günther, Dexter, David T., van Dijk, Karin D., Dillman, Allissa, Durif, Frank, Dürr, Alexandra, Edkins, Sarah, Evans, Jonathan R., Foltynie, Thomas, Gao, Jianjun, Gardner, Michelle, Gibbs, J. Raphael, Goate, Alison, Gray, Emma, Guerreiro, Rita, Gústafsson, Ómar, Harris, Clare, van Hilten, Jacobus J., Hofman, Albert, Hollenbeck, Albert, Holton, Janice, Hu, Michele, Huang, Xuemei, Huber, Heiko, Hudson, Gavin, Hunt, Sarah E., Huttenlocher, Johanna, Illig, Thomas, Jónsson, Pálmi V., Lambert, Jean-Charles, Langford, Cordelia, Lees, Andrew, Lichtner, Peter, Limousin, Patricia, Lopez, Grisel, Lorenz, Delia, McNeill, Alisdair, Moorby, Catriona, Moore, Matthew, Morris, Huw R., Morrison, Karen E., Mudanohwo, Ese, O’Sullivan, Sean S., Pearson, Justin, Perlmutter, Joel S., Pétursson, Hjörvar, Pollak, Pierre, Post, Bart, Potter, Simon, Ravina, Bernard, Revesz, Tamas, Riess, Olaf, Rivadeneira, Fernando, Rizzu, Patrizia, Ryten, Mina, Sawcer, Stephen, Schapira, Anthony, Scheffer, Hans, Shaw, Karen, Shoulson, Ira, Sidransky, Ellen, Smith, Colin, Spencer, Chris C. A., Stefánsson, Hreinn, Steinberg, Stacy, Stockton, Joanna D., Strange, Amy, Talbot, Kevin, Tanner, Carlie M., Tashakkori-Ghanbaria, Avazeh, Tison, François, Trabzuni, Daniah, Traynor, Bryan J., Uitterlinden, André G., Velseboer, Daan, Vidailhet, Marie, Walker, Robert, van de Warrenburg, Bart, Wickremaratchi, Mirdhu, Williams, Nigel, Williams-Gray, Caroline H., Winder-Rhodes, Sophie, Stefánsson, Kári, Martinez, Maria, Hardy, John, Heutink, Peter, Brice, Alexis, Gasser, Thomas, Singleton, Andrew B., Wood, Nicholas W., and International Parkinson Disease Genomics Consortium members

Published
2017
Full Text
View/download PDF

39. A Parametric Propagator for Discretely Convex Pairs of Sum Constraints

Author

Monette, Jean-Noël, Beldiceanu, Nicolas, Flener, Pierre, Pearson, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Schulte, Christian, editor

Published
2013
Full Text
View/download PDF

40. Solving String Constraints: The Case for Constraint Programming

Author

He, Jun, Flener, Pierre, Pearson, Justin, Zhang, Wei Ming, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Schulte, Christian, editor

Published
2013
Full Text
View/download PDF

41. Towards Solver-Independent Propagators

Author

Monette, Jean-Noël, Flener, Pierre, Pearson, Justin, Hutchison, David, Series editor, Kanade, Takeo, Series editor, Kittler, Josef, Series editor, Kleinberg, Jon M., Series editor, Mattern, Friedemann, Series editor, Mitchell, John C., Series editor, Naor, Moni, Series editor, Nierstrasz, Oscar, Series editor, Pandu Rangan, C., Series editor, Steffen, Bernhard, Series editor, Sudan, Madhu, Series editor, Terzopoulos, Demetri, Series editor, Tygar, Doug, Series editor, Vardi, Moshe Y., Series editor, Weikum, Gerhard, Series editor, and Milano, Michela, editor

Published
2012
Full Text
View/download PDF

42. Control under energy and time constraints

Author

Pearson, Justin

Subjects
Engineering, Electrical engineering, Computer engineering, Communication systems, Control theory, Networked control, Operating systems
Abstract

The performance of a control system is often limited by constraints on timing, bandwidth, and energy. This dissertation explores the trade-offs between constraints on these resources, the control system performance, and the system to be controlled.We begin by considering a networked control system in which the sensor sends its measurements to the controller over a limited-bandwidth communications channel. We explore the observation that the absence of communication nevertheless conveys information --- i.e., nothing communication-worthy occurred. This suggests that energy (or other resources consumed by communication) could be saved using the timing of messages to transmit information, rather than the normal practice of transmitting data in the messages themselves. We develop a framework to explore this idea and derive a condition for the existence of a stabilizing controller that captures the trade-off between bandwidth, resource consumption, and the unstable eigenvalues of the linear system to be controlled. A surprising result is that if this condition is satisfied, then one may design a stabilizing controller that consumes resources at an arbitrarily small rate, provided one has access to a sufficiently precise clock. In an extreme example, a large amount of data is encoded into the precise transmission time of a single bit, and the receiver decodes this data from the time the bit is received. This result quantifies the trade-off between bandwidth and time as resources for transmitting information.Next, we use our framework to analyze a family of event-based controllers. We show that these controllers can stabilize a system while consuming resources at a rate that is within 2.5 times the theoretically-minimum rate. These event-based controllers are intuitive and easy to implement, and our stability condition quantifies the cost (in additional required communication resources) that a control engineer pays for the convenience of implementing an event-based controller instead of the relatively more complicated controllers from the first section that use the theoretically-minimum communication rate.A takeaway from these results is that networked and distributed control systems can benefit from precise timing. However, even non-networked systems can benefit from precise timing. We explore this by developing a control architecture that allows a controller running on a non-real-time operating system to run with a high degree of determinacy, even when the OS task scheduler suspends the control task. The architecture employs a small microprocessor to be used as a "real-time processor" that runs independently from the OS and buffers sensor measurement and actuator commands. We implement this on a Beaglebone Black single-board computer and demonstrate that this architecture can significantly improve a controller's performance in the presence of OS preemption.

Published
2018

43. Contingency Plans for Air Traffic Management

Author

Blomdahl, Karl Sundequist, Flener, Pierre, Pearson, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Cohen, David, editor

Published
2010
Full Text
View/download PDF

44. On Matrices, Automata, and Double Counting

Author

Beldiceanu, Nicolas, Carlsson, Mats, Flener, Pierre, Pearson, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Doug, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Lodi, Andrea, editor, Milano, Michela, editor, and Toth, Paolo, editor

Published
2010
Full Text
View/download PDF

46. MiniZinc with Strings

Author

Amadini, Roberto, primary, Flener, Pierre, additional, Pearson, Justin, additional, Scott, Joseph D., additional, Stuckey, Peter J., additional, and Tack, Guido, additional

Published
2017
Full Text
View/download PDF

47. Excessive burden of lysosomal storage disorder gene variants in Parkinson’s disease

Author

Robak, Laurie A, Jansen, Iris E, van Rooij, Jeroen, Uitterlinden, André G, Kraaij, Robert, Jankovic, Joseph, Heutink, Peter, Shulman, Joshua M, Nalls, Mike A, Plagnol, Vincent, Hernandez, Dena G, Sharma, Manu, Sheerin, Una-Marie, Saad, Mohamad, Simón-Sánchez, Javier, Schulte, Claudia, Lesage, Suzanne, Sveinbjörnsdóttir, Sigurlaug, Arepalli, Sampath, Barker, Roger, Ben-, Yoav, Berendse, Henk W, Berg, Daniela, Bhatia, Kailash, de Bie, Rob M A, Biffi, Alessandro, Bloem, Bas, Bochdanovits, Zoltan, Bonin, Michael, Bras, Jose M, Brockmann, Kathrin, Brooks, Janet, Burn, David J, Majounie, Elisa, Charlesworth, Gavin, Lungu, Codrin, Chen, Honglei, Chinnery, Patrick F, Chong, Sean, Clarke, Carl E, Cookson, Mark R, Mark Cooper, J, Corvol, Jean Christophe, Counsell, Carl, Damier, Philippe, Dartigues, Jean-François, Deloukas, Panos, Deuschl, Günther, Dexter, David T, van Dijk, Karin D, Dillman, Allissa, Durif, Frank, Dürr, Alexandra, Edkins, Sarah, Evans, Jonathan R, Foltynie, Thomas, Dong, Jing, Gardner, Michelle, Raphael Gibbs, J, Goate, Alison, Gray, Emma, Guerreiro, Rita, Harris, Clare, van Hilten, Jacobus J, Hofman, Albert, Hollenbeck, Albert, Holton, Janice, Hu, Michele, Huang, Xuemei, Wurster, Isabel, Mätzler, Walter, Hudson, Gavin, Hunt, Sarah E, Huttenlocher, Johanna, Illig, Thomas, Jónsson, Pálmi V, Lambert, Jean-Charles, Langford, Cordelia, Lees, Andrew, Lichtner, Peter, Limousin, Patricia, Lopez, Grisel, Lorenz, Delia, Lungu, Codrin, McNeill, Alisdair, Moorby, Catriona, Moore, Matthew, Morris, Huw R, Morrison, Karen E, Escott-Price, Valentina, Mudanohwo, Ese, O’Sullivan, Sean S, Pearson, Justin, Perlmutter, Joel S, Pétursson, Hjörvar, Pollak, Pierre, Post, Bart, Potter, Simon, Ravina, Bernard, Revesz, Tamas, Riess, Olaf, Rivadeneira, Fernando, Rizzu, Patrizia, Ryten, Mina, Sawcer, Stephen, Schapira, Anthony, Scheffer, Hans, Shaw, Karen, Shoulson, Ira, Shulman, Joshua, Sidransky, Ellen, Smith, Colin, Spencer, Chris C A, Stefánsson, Hreinn, Bettella, Francesco, Stockton, Joanna D, Strange, Amy, Talbot, Kevin, Tanner, Carlie M, Tashakkori-Ghanbaria, Avazeh, Tison, François, Trabzuni, Daniah, Traynor, Bryan J, Uitterlinden, André G, Velseboer, Daan, Vidailhet, Marie, Walker, Robert, van de Warrenburg, Bart, Wickremaratchi, Mirdhu, Williams, Nigel, Williams-Gray, Caroline H, Winder-Rhodes, Sophie, Stefánsson, Kári, Martinez, Maria, Wood, Nicholas W, Hardy, John, Heutink, Peter, Brice, Alexis, Gasser, Thomas, and Singleton, Andrew B

Published
2017
Full Text
View/download PDF

48. Static and Dynamic Structural Symmetry Breaking

Author

Flener, Pierre, Pearson, Justin, Sellmann, Meinolf, Van Hentenryck, Pascal, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Benhamou, Frédéric, editor

Published
2006
Full Text
View/download PDF

49. Inferring Variable Conflicts for Local Search

Author

Ågren, Magnus, Flener, Pierre, Pearson, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, and Benhamou, Frédéric, editor

Published
2006
Full Text
View/download PDF

50. Set Variables and Local Search

Author

Ågren, Magnus, Flener, Pierre, Pearson, Justin, Hutchison, David, editor, Kanade, Takeo, editor, Kittler, Josef, editor, Kleinberg, Jon M., editor, Mattern, Friedemann, editor, Mitchell, John C., editor, Naor, Moni, editor, Nierstrasz, Oscar, editor, Pandu Rangan, C., editor, Steffen, Bernhard, editor, Sudan, Madhu, editor, Terzopoulos, Demetri, editor, Tygar, Dough, editor, Vardi, Moshe Y., editor, Weikum, Gerhard, editor, Barták, Roman, editor, and Milano, Michela, editor

Published
2005
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results